5401 search results - page 452 / 1081 » Using Versions in GIS |
175
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
The Push programming language was developed for use in genetic and evolutionary computation systems, as the representation within which evolving programs are expressed. It has bee...
139
click to vote
ICTAC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We develop semantics for modal logic programs in basic serial multimodal logics, which are parameterized by an arbitrary combination of generalized versions of axioms T, ...
152
click to vote
SAT
2005
Springer
16 years 10 days ago
2005
Springer
We propose a new decision heuristic for DPLL-based propositional SAT solvers. Its essence is that both the initial and the conflict clauses are arranged in a list and the next deci...
200
click to vote
SG
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Xface, the new version of our open source, platform independent toolkit for developing 3D embodied conversational agents is presented. The toolkit currently incorporates ...
184
Voted
HT
2004
ACM
16 years 9 days ago
2004
ACM
Microcosm was an open hypertext system that evolved in the early 1990s, before the advent of the Web. Apart from its success as a research platform it was widely used for presenti...