6608 search results - page 1247 / 1322 » On the Completeness of Model Checking |
122
Voted
EUROCOLT
1999
Springer
15 years 8 months ago
1999
Springer
The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds ...
170
Voted
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
163
Voted
ROBOCUP
1999
Springer
15 years 8 months ago
1999
Springer
In RoboCup-98, sparrows team worked hard just to get both a simulation and a middle size robot team to work and to successfully participate in a major tournament. For this year, we...
143
Voted
INFOCOM
1998
IEEE
15 years 8 months ago
1998
IEEE
Retransmission based error control for large scale multicast applications is difficult because of implosion and exposure. Existing schemes (SRM, RMTP, TMTP, LBRRM) have good solut...
152
Voted
AGENTS
1998
Springer
15 years 8 months ago
1998
Springer
Physical domains are notoriously hard to model completely and correctly, especially to capture the dynamics of the environment. Moreover, since environments change, it is even mor...