166 search results - page 25 / 34 » Comparison of two approaches to approximated reasoning |
AFRIGRAPH
2009
ACM
13 years 11 months ago
2009
ACM
Traditionally, levels of detail (LOD) for animated characters are computed from a single pose. Later techniques refined this approach by considering a set of sample poses and eval...
EOR
2010
13 years 7 months ago
2010
This study investigates an optimization-based heuristic for the Robotic Cell Problem. This problem arises in automated cells and is a complex ow shop problem with a single transpo...
GIS
2004
ACM
14 years 8 months ago
2004
ACM
Many Geographic Information System (GIS) applications require the conversion of an address to geographic coordinates. This process is called geocoding. The traditional geocoding m...
LICS
2002
IEEE
14 years 21 days ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—Cell selection is the process of determining the cell(s) that provide service to each mobile station. Optimizing these processes is an important step towards maximizing the util...