Results 11 to 20 of about 72,639 (264)
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
Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, 2019 For creative tasks, programmers face a choice: Use a GUI and sacrifice flexibility, or write code and sacrifice ergonomics? To obtain both flexibility and ease of use, a number of systems have explored a workflow that we call output-directed programming. In this paradigm, direct manipulation of the program's graphical output corresponds to writing code
Brian Hempel, Justin Lubin, Ravi Chugh
openaire +3 more sources
Portrait Sketch Generative Model for Misaligned Photo-to-Sketch Dataset
Mathematics, 2023 A deep-learning-based model for generating line-based portrait sketches from portrait photos is proposed in this paper. The misalignment problem is addressed by the introduction of a novel loss term, designed to tolerate misalignments between Ground ...
Hyungbum Kim, Junho Kim, Heekyung Yang
doaj +1 more source
A Network Traffic Abnormal Detection Method: Sketch-Based Profile Evolution
Applied Sciences, 2023 Network anomaly detection faces unique challenges from dynamic traffic, including large data volume, few attributes, and human factors that influence it, making it difficult to identify typical behavioral characteristics.
Junkai Yi +3 more
doaj +1 more source
The “value of drawing” and the “method of vision”. How formalism and connoisseurship shaped the aesthetic of the sketch [PDF]
Journal of Art Historiography, 2021 This essay explores how connoisseurship and formalism from the late nineteenth until the middle of the twentieth centuries contributed to the study of drawing that characterised and shaped sketches as a particular subgenre. By focusing on reoccurring and
Elvira Bojilova
doaj +1 more source
Communications of the ACM, 2017 The approximate approach is often faster and more efficient.
openaire +3 more sources
Alzheimer’s & Dementia: Translational Research & Clinical Interventions, 2019 Introduction Symptomatic anti‐Alzheimer's disease (AD) drugs have been commonly used for the treatment of AD. Knowing the natural courses of patients with AD on placebo is highly relevant for clinicians to understand their efficacy and for investigators ...
Mitsunori Watanabe +15 more
doaj +1 more source
Me río de la mafia. Los Cubrepileta y la sátira mafiosa en la Argentina
Comparative Cultural Studies, 2023 In this essay, the mafia appears as a cultural object when analyzed from a humorous program broadcast in the 1990s in Argentina. It is Los Cubrepileta, a sketch that was part of Cha Cha Cha starring Alfredo Casero, Fabio Alberti, Diego Capusotto, Vivian ...
Bettina Alejandra Favero
doaj +1 more source
The image of the contemporary in the creation of Alexei Colîbneac [PDF]
Dialogica: Revistă de Studii Culturale și Literatură, 2021 Alexei Colîbneac is recognized as one of the most notorious masters of drawing in the art of Moldova. During his artistic activity, A. Colîbneac has made several impressive series of sketches of a high artistic quality.
Dmitri ȘIBAEV, Dmitri ȘIBAEV
doaj +1 more source
Resituating the Sketch/ Bitacora in the Production of Knowledge and Anthropological Meaning
Íconos, 2017 The principle objective of this article is to situate the analysis of the “bodily turn” within the study of “the visual”. This locates the researcher not as an objective observer at a distance but instead in another way of looking at and relating with ...
Catalina Cortés Severino
doaj +1 more source