6608 search results - page 1171 / 1322 » On the Completeness of Model Checking |
121
Voted
MM
1999
ACM
15 years 8 months ago
1999
ACM
Current camera-monitor teleconferencing applications produce unrealistic imagery and break any sense of presence for the participants. Other capture/display technologies can be us...
164
click to vote
EUROMICRO
1999
IEEE
15 years 8 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
147
click to vote
HCW
1999
IEEE
15 years 8 months ago
1999
IEEE
A major challenge in Metacomputing Systems (Computational Grids) is to effectively use their shared resources, such as compute cycles, memory, communication network, and data repo...
153
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
With the success of Mars Pathfinder's Sojourner rover, a new era of planetary exploration has opened, with demand for highly capable mobile robots. These robots must be able ...
128
click to vote
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
We consider the robot exploration of a planar graphlike world. The robot's goal is to build a complete map of its environment. The environment is modeled as an arbitrary undi...