Results 41 to 50 of about 9,061,188 (344)
Logic Programming as Constructivism [PDF]
, 1989 The features of logic programming that seem unconventional from the viewpoint of classical logic can be explained in terms of constructivistic logic. We motivate and propose a constructivistic proof theory of non-Horn logic programming.
Bry, François
core +1 more source
Programming MPSoC platforms: Road works ahead [PDF]
, 2009 This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges. The current trend towards MPSoC platforms in most computing domains does not only mean a radical change in computer architecture.
Bekooij, Marco +5 more
core +2 more sources
Domain-Specific Heuristics in Answer Set Programming
AAAI Conference on Artificial Intelligence, 2013 We introduce a general declarative framework for incorporating domain-specific heuristics into ASP solving. We accomplish this by extending the first-order modeling language of ASP by a distinguished heuristic predicate.
M. Gebser +5 more
semanticscholar +1 more source
Domain reduction techniques for global NLP and MINLP optimization [PDF]
Constraints, 2017 Optimization solvers routinely utilize presolve techniques, including model simplification, reformulation and domain reduction techniques. Domain reduction techniques are especially important in speeding up convergence to the global optimum for ...
Yash Puranik, N. Sahinidis
semanticscholar +1 more source
Открытое образование (Москва), 2016 This article is devoted to the ways of teaching object-oriented programming of bachelors of pedagogical education in network community. The article provides a definition of competence in the domain of objectoriented programming and describes its ...
Diana V. Moglan
doaj +1 more source
Teaching Problem Solving Skills using an Educational Game in a Computer Programming Course
Informatics Educ., 2019 Problem solving skills are considered an important component in learning to program in an introductory programming (IP) course for novices. This study introduced a PROSOLVE game to enhance problem solving skills of novice programmers in the introductory ...
R. Mathew, S. I. Malik, R. M. Tawafak
semanticscholar +1 more source
An exact method for a discrete multiobjective linear fractional optimization [PDF]
, 2007 Integer linear fractional programming problem with multiple objective MOILFP is an important field of research and has not received as much attention as did multiple objective linear fractional programming.
Chergui, M. E-A, Moulai, M.
core +2 more sources
ObliVM: A Programming Framework for Secure Computation
IEEE Symposium on Security and Privacy, 2015 We design and develop ObliVM, a programming framework for secure computation. ObliVM offers a domain specific language designed for compilation of programs into efficient oblivious representations suitable for secure computation. ObliVM offers a powerful,
Chang Liu +4 more
semanticscholar +1 more source
A Controlled Genetic Programming Approach for the Deceptive Domain [PDF]
IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), 2004 Traditional genetic programming (GP) randomly combines subtrees by applying crossover. There is a growing interest in methods that can control such recombination operations in order to achieve faster convergence. In this paper, a new approach is presented for guiding the recombination process for genetic programming.
KORKMAZ, EMİN ERKAN +1 more
openaire +4 more sources
A Domain-theoretic Approach to Statistical Programming Languages
Journal of the ACM, 2023 We give a domain-theoretic semantics to a statistical programming language, using the plain old category of dcpos, in contrast to some more sophisticated recent proposals. Remarkably, our monad of minimal valuations is commutative, which allows for program transformations that permute the order of independent random draws, as one would ...
Jean Goubault-Larrecq +2 more
openaire +2 more sources