10802 search results - page 449 / 2161 » Generative and developmental systems |
151
click to vote
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
We present an approach to process scheduling based on an abstract graph representation which captures both dataflow and the flow of control. Target architectures consist of severa...
181
Voted
CADE
1998
Springer
15 years 11 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
163
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
We investigate a decentralised approach to committing transactions in a replicated database, under partial replication. Previous protocols either reexecute transactions entirely an...
170
Voted
CLIMA
2004
15 years 8 months ago
2004
In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Pref...
146
click to vote
SCANGIS
2001
15 years 8 months ago
2001
Dynamic maps, often in the form of web-maps, are becoming increasingly popular. This article discusses software architectures and individual components to meet the demands of the m...