Sciweavers

10848 search results - page 201 / 2170
» Programming in Biomolecular Computation
Sort
View
ESOP
1999
Springer
15 years 9 months ago
Dynamic Programming via Static Incrementalization
Abstract. Dynamicprogramming is an importantalgorithm design technique. It is used for solving problems whose solutions involve recursively solving subproblems that share subsubpro...
Yanhong A. Liu, Scott D. Stoller
126
Voted
ATAL
2008
Springer
15 years 6 months ago
Automated global-to-local programming in 1-D spatial multi-agent systems
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
Daniel Yamins, Radhika Nagpal
155
Voted
NMR
2004
Springer
15 years 10 months ago
On acyclic and head-cycle free nested logic programs
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
Thomas Linke, Hans Tompits, Stefan Woltran
169
Voted
CORR
1998
Springer
126views Education» more  CORR 1998»
15 years 4 months ago
Stable models and an alternative logic programming paradigm
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 ...
Victor W. Marek, Miroslaw Truszczynski
HINC
2003
Springer
15 years 10 months ago
Early Curricula in Computer Science at the University of Iceland
With the acquisition of the first computer in 1964 programming was introduced into the engineering curriculum at the University of Iceland. Subsequently applied mathematics curricu...
Oddur Benediktsson