17049 search results - page 3185 / 3410 » cans 2007 |
177
click to vote
DISOPT
2007
15 years 6 months ago
2007
Constraint-based schedulers have been widely successful to tackle complex, disjunctive and cumulative, scheduling applications by combining tree search and constraint propagation....
214
click to vote
ECCC
2007
15 years 6 months ago
2007
Is it possible for two intelligent beings to communicate meaningfully, without any common language or background? This question has interest on its own, but is especially relevant...
180
click to vote
ECOI
2007
15 years 6 months ago
2007
Complex multi-dimensional datasets are now pervasive in science and elsewhere in society. Better interactive tools are needed for visual data exploration so that patterns in such ...
169
click to vote
ENGL
2007
15 years 6 months ago
2007
—Defect tracking using computational intelligence methods is used to predict software readiness in this study. By comparing predicted number of faults and number of faults discov...
191
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...