5216 search results - page 937 / 1044 » Planning as Model Checking |
120
click to vote
NOSSDAV
2001
Springer
15 years 7 months ago
2001
Springer
Application-level multicast is a new mechanism for enabling multicast in the Internet. Driven by the fast growth of network audio/video streams, application-level multicast has be...
172
Voted
ICSM
2000
IEEE
15 years 7 months ago
2000
IEEE
Most studies of software evolution have been performed on systems developed within a single company using traditional management techniques. With the widespread availability of se...
120
Voted
ISORC
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper documents progress to date on a research project, the goal of which is wartime event prediction. The paper describes the operational concept, the datamining environment...
119
click to vote
SIGGRAPH
2000
ACM
15 years 7 months ago
2000
ACM
We propose the use of interactive, user-in-the-loop techniques for controlling physically-based animated characters. With a suitably designed interface, the continuous and discret...
156
Voted
AGENTS
2000
Springer
15 years 7 months ago
2000
Springer
Before the powerful agent programming paradigm can be adopted in commercial or industrial settings, a complete environment, similar to that for other programming languages, must b...