1567 search results - page 312 / 314 » A Mechanized Model of the Theory of Objects |
PEWASUN
2004
ACM
13 years 10 months ago
2004
ACM
A mobile ad hoc network consists of mobile nodes that can move freely in an open environment. Communicating nodes in a wireless and mobile ad hoc network usually seek the help of ...
VRCAI
2004
ACM
13 years 10 months ago
2004
ACM
The Marching Cubes (MC) algorithm is a popular approach to extract iso-surfaces from volumetric data. This approach extracts triangles from the volume data for a specific iso-valu...
WECWIS
2003
IEEE
13 years 10 months ago
2003
IEEE
The rapid growth of the World Wide Web and the Internet has fueled interest in Web services and the Semantic Web, which are quickly becoming important parts of modern electronic c...
ICRA
2002
IEEE
13 years 10 months ago
2002
IEEE
—In this paper we describe a novel approach, called improbability filtering, to rejecting false-positive observations from degrading the tracking performance of an Extended Kalma...
SIGGRAPH
1992
ACM
13 years 9 months ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...