14298 search results - page 2498 / 2860 » Dynamic Languages and Applications |
169
click to vote
CP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability proble...
182
Voted
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
178
click to vote
ICMI
2005
Springer
16 years 8 days ago
2005
Springer
A problem faced by groups that are not co-located but need to collaborate on a common task is the reduced access to the rich multimodal communicative context that they would have ...
200
click to vote
VLDB
2005
ACM
16 years 7 days ago
2005
ACM
In recent years, publish-subscribe (pub-sub) systems based on XML document filtering have received much attention. In a typical pubsub system, subscribed users specify their inte...
186
click to vote
VRCAI
2004
ACM
16 years 5 days ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...