Results 11 to 20 of about 6,932,520 (386)
Interactive programming paradigm for real-time experimentation with remote living matter. [PDF]
Proc Natl Acad Sci U S A, 2019 Significance Biology cloud laboratories are an emerging approach to lowering access barriers for life-science experimentation. However, suitable programming approaches and interfaces are lacking for both domain experts and lay users, especially ones that
Washington P +4 more
europepmc +4 more sources
The Answer Set Programming Paradigm [PDF]
AI Magazine, 2016 In this article, we give an overview of the answer set programming paradigm, explain its strengths, and illustrate its main features in terms of examples and an application problem.
Niemelä, Ilkka, Janhunen, Tomi
openaire +7 more sources
Weighted programming: a programming paradigm for specifying mathematical models [PDF]
Proceedings of the ACM on Programming Languages, 2022 We study weighted programming, a programming paradigm for specifying mathematical models. More specifically, the weighted programs we investigate are like usual imperative programs with two additional features: (1) nondeterministic branching and (2) weighting execution traces.
Kevin Batz +4 more
openaire +4 more sources
A Visual Programming Paradigm for Abstract Deep Learning Model Development [PDF]
IndiaHCI, 2019 Deep learning is one of the fastest growing technologies in computer science with a plethora of applications. But this unprecedented growth has so far been limited to the consumption of deep learning experts.
Aralikatte, Rahul +5 more
core +2 more sources
Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019 [PDF]
arXiv, 2019 This is the Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2019, which was held in Philadelphia, USA, June 3rd , 2019.
Jorge Fandinno, Johannes K. Fichte
arxiv +3 more sources
Reachability under Contextual Locking [PDF]
Logical Methods in Computer Science, 2013 The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of the program.
Remi Bonnet +3 more
doaj +3 more sources
Stable models and an alternative logic programming paradigm [PDF]
The Logic Programming Paradigm, K.R. Apt, V.W. Marek, M.
Truszczynski, D.S. Warren (eds.), pp. 375-398. Springer-Verlag, 1999, 1998 In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate that inherent features of stable model semantics naturally lead to a logic programming system that offers an interesting alternative to more traditional logic programming ...
V. Marek, M. Truszczynski
arxiv +3 more sources
Model-based, event-driven programming paradigm for interactive web applications [PDF]
SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software, 2013 Aleksandar Milićević +3 more
openalex +2 more sources
Hidet: Task-Mapping Programming Paradigm for Deep Learning Tensor Programs [PDF]
International Conference on Architectural Support for Programming Languages and Operating Systems, 2022 As deep learning models nowadays are widely adopted by both cloud services and edge devices, reducing the latency of deep learning model inferences becomes crucial to provide efficient model serving. However, it is challenging to develop efficient tensor
Yaoyao Ding +5 more
semanticscholar +1 more source
Prompt Programming for Large Language Models: Beyond the Few-Shot Paradigm [PDF]
CHI Extended Abstracts, 2021 Prevailing methods for mapping large generative language models to supervised tasks may fail to sufficiently probe models’ novel capabilities. Using GPT-3 as a case study, we show that 0-shot prompts can significantly outperform few-shot prompts.
Laria Reynolds, Kyle McDonell
semanticscholar +1 more source