399 search results - page 54 / 80 » Efficient Model Checking Using Tabled Resolution |
CAGD
2008
13 years 8 months ago
2008
Geometric constraints have proved to be helpful for shape modeling. Moreover, they are efficient aids in controlling deformations and enhancing animation realism. The present pape...
ICIAR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Structured light stereoscopic imaging offers an efficient and affordable solution to 3D modeling of objects. The majority of structured light patterns that have been prop...
IV
2002
IEEE
14 years 1 months ago
2002
IEEE
: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships called constraints between geometric elements. The problem is to der...
JCO
2006
13 years 8 months ago
2006
Reliability is a very important issue in Mobile Ad hoc NETworks (MANETs). Shortest paths are usually used to route packets in MANETs. However, a shortest path may fail quickly, bec...
PERVASIVE
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. In this paper, we present Microsearch, a search system suitable for small devices used in ubiquitous computing environments. Akin to a desktop search engine, Microsearch ...