12783 search results - page 281 / 2557 » Experimenting with computing |
190
click to vote
ICTAI
2007
IEEE
16 years 26 days ago
2007
IEEE
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
181
click to vote
ECAL
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We have developed a software system that simulates chemotaxis-based cell aggregation in 2D. The model implemented within the system consists of such cell behaviors as che...
149
click to vote
ICMCS
2006
IEEE
16 years 18 days ago
2006
IEEE
Given a time horizon parameter h and an object set O, predictive collision detection finds all the object pairs < oi, oj, ti > which will collide in the future time interva...
177
click to vote
CMMR
2004
Springer
15 years 12 months ago
2004
Springer
Although many artists have worked to create associations between music and animation, this has traditionally be done by developing one to suit the pre-existing other, as in visuali...
210
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
If sufficient attention is not paid to the information models on which Learning Platforms are based the ability to deliver rich functionality is hindered. This paper describes the...