5064 search results - page 997 / 1013 » Recent Developments in Gridsolve |
JAIR
2000
13 years 7 months ago
2000
Recently model checking representation and search techniques were shown to be efciently applicable to planning, in particular to non-deterministic planning. Such planning approach...
NAR
2000
13 years 7 months ago
2000
The Molecular Biology Database Collection represents an effort geared at making molecular biology database resources more accessible to biologists. This online resource, available...
GIS
2002
ACM
13 years 7 months ago
2002
ACM
A novel method of map matching using the Global Positioning System (GPS) has been developed which uses digital mapping and height data to augment point position computation. This m...
AIL
1998
13 years 7 months ago
1998
In the law, it is generally acknowledged that there are intuitive differences between reasoning with rules and reasoning with principles. For instance, a rule seems to lead directl...
CGA
1998
13 years 7 months ago
1998
A whole variety of different techniques for simulating global illumination in virtual environments have been developed over recent years. Each technique, including Radiosity, Mont...