Results 21 to 30 of about 934,208 (256)
Specification-based sketching with Sketch [PDF]
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011 We introduce a new tool employing the sketching synthesis technique in programs annotated with declarative contracts. While Sketch, the original sketching tool, reasons entirely on imperative code, Sketch# works on top of the full-fledged specification language Spec#.
Hesam Samimi, Kaushik Rajan
openaire +1 more source
Logics of Statements in Context-Category Independent Basics
Mathematics, 2022 Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms.
Uwe Wolter
doaj +1 more source
The Role of Computer in Design Ideation [PDF]
صفه, 2022 Designers use a variety of tools to express their ideas. The traditional tools including hand drawing, sketching and physical modelling, have gradually been replaced by computer tools.
Leyla Alipour
doaj +1 more source
Two-Stage Sketch Colorization With Color Parsing
IEEE Access, 2020 We implement high-quality sketch colorization using two-stage conditional generative adversarial network (GAN) training based on different intermediate features.
Hui Ren, Jia Li, Nan Gao
doaj +1 more source
Dichotomy Graph Sketch: Summarizing Graph Streams with High Accuracy Based on Deep Learning
Applied Sciences, 2023 In many applications, data streams are indispensable to describe the relationships between nodes in networks, such as social networks, computer networks, and hyperlink networks.
Ding Li +6 more
doaj +1 more source
SYSTEM OF CONTROL AND MANAGEMENT OF ACCESS ON THE BASIS OF ARDUINO MICROCONTROLLERS
Вестник Дагестанского государственного технического университета: Технические науки, 2019 Objectives. The aim of the study is to select methods and means for the effective modernization of the security system existing in the enterprise.Method.
N. V. Buzhinskaya +3 more
doaj +1 more source
A Transfer Learning for Line-Based Portrait Sketch
Mathematics, 2022 This paper presents a transfer learning-based framework that produces line-based portrait sketch images from portraits. The proposed framework produces sketch images using a GAN architecture, which is trained through a pseudo-sketch image dataset.
Hyungbum Kim, Junyoung Oh, Heekyung Yang
doaj +1 more source
End-to-End Photo-Sketch Generation via Fully Convolutional Representation Learning
, 2015 Sketch-based face recognition is an interesting task in vision and multimedia research, yet it is quite challenging due to the great difference between face photos and sketches.
Ding, Shengyong +4 more
core +1 more source
Manna Rafflesia, 2020 Local theology is a model of theology that existed in postmodernism that emphasized the theology of the local cultural context. It means emphasize the efforts to meet church traditions and Christian themes with the reality of the life of the people ...
Manase Gulo
doaj +1 more source
Face Sketch Matching via Coupled Deep Transform Learning
, 2017 Face sketch to digital image matching is an important challenge of face recognition that involves matching across different domains. Current research efforts have primarily focused on extracting domain invariant representations or learning a mapping from
Majumdar, Angshul +5 more
core +1 more source