Sciweavers

2192 search results - page 244 / 439
» Plumbing and Other Utilities
Sort
View
ACCV
2006
Springer
16 years 14 days ago
Statistical Shape Models Using Elastic-String Representations
Abstract. To develop statistical models for shapes, we utilize an elastic string representation where curves (denoting shapes) can bend and locally stretch (or compress) to optimal...
Anuj Srivastava, Aastha Jain, Shantanu H. Joshi, D...
ACL2
2006
ACM
16 years 14 days ago
Parameterized congruences in ACL2
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
David Greve
JCDL
2006
ACM
99views Education» more  JCDL 2006»
16 years 13 days ago
InfoGallery: informative art services for physical library spaces
Much focus in digital libraries research has been devoted to new online services rather than services for the visitors in the physical library. This paper describes InfoGallery, w...
Kaj Grønbæk, Anne Rohde, Balasuthas S...
MM
2006
ACM
184views Multimedia» more  MM 2006»
16 years 13 days ago
Extraction of social context and application to personal multimedia exploration
Personal media collections are often viewed and managed along the social dimension, the places we spend time at and the people we see, thus tools for extracting and using this inf...
Brett Adams, Dinh Q. Phung, Svetha Venkatesh
MOBIWAC
2006
ACM
16 years 13 days ago
Ad hoc routing based on the stability of routes
Some reactive ad hoc protocols allow the discovery and/or storage of multiple paths to the same destination node. The selection of the path to utilize is commonly based on the cri...
Alicia Triviño-Cabrera, Irene Nieves-P&eacu...