1981 search results - page 283 / 397 » Model-Checking Hierarchical Structures |
IJCAI
2001
13 years 10 months ago
2001
Successful image reconstruction requires the recognition of a scene and the generation of a clean image of that scene. We propose to use recurrent neural networks for both analysi...
IADIS
2003
13 years 10 months ago
2003
The development of tools for the organization of large quantities of Web bookmarks is an increasingly challenging task since more and more Web information becomes available and ha...
SERP
2004
13 years 10 months ago
2004
This paper presents a Petri net-based hierarchical architecture for multiple Unmanned Aerial Vehicle (UAV) simulations in order to facilitate rapid prototyping via visual modeling...
RIVF
2003
13 years 10 months ago
2003
— This paper describes the design and implementation of a novel reliable multicast protocol, totally reliable and scalable to large number of receivers. MAF relies on Active Netw...
AAAI
1998
13 years 10 months ago
1998
TheWorldWideWebcontinues to challenge organizations to makeonline access to their expertise convenient for their clients. Onemeansof expertise access that manyclients find conveni...