5216 search results - page 937 / 1044 » Planning as Model Checking |
151
click to vote
NOSSDAV
2001
Springer
15 years 10 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...
217
click to vote
ICSM
2000
IEEE
15 years 10 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...
154
click to vote
ISORC
2000
IEEE
15 years 10 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...
146
click to vote
SIGGRAPH
2000
ACM
15 years 10 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...
196
click to vote
AGENTS
2000
Springer
15 years 10 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...