5216 search results - page 844 / 1044 » Planning as Model Checking |
178
click to vote
STOC
2004
ACM
16 years 6 months ago
2004
ACM
The growth in computer games and wireless networks has catalyzed the production of a new generation of hand-held game consoles that support multi-player gaming over IEEE 802.11 ne...
224
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
In this paper, we describe MySearchView ? a system for assembling search engines into metasearch engines. With this system, any user can create a metasearch engine by simply letti...
239
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
There has been an information explosion in fields of science such as high energy physics, astronomy, environmental sciences and biology. There is a critical need for automated sys...
168
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Database-centric information systems are critical to the operations of large organisations. In particular, they often process a large amount of data with stringent performance req...
139
click to vote
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
The formiila-based I<,JJ model is a figiire of merit for the inductive coirpling, and has been used to solve the simrrltaneoris shield insertion and net ordering (SINO) and sim...