7682 search results - page 1242 / 1537 » Active Appearance Models |
180
click to vote
CAV
2000
Springer
15 years 10 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
209
click to vote
IEAAIE
2000
Springer
15 years 10 months ago
2000
Springer
Enabling a domain expert to maintain his own knowledge in a Knowledge Based System has long been an ideal for the Knowledge Engineering community. In this paper we report on our ex...
181
click to vote
SIGGRAPH
2000
ACM
15 years 10 months ago
2000
ACM
We present a method to acquire the reflectance field of a human face and use these measurements to render the face under arbitrary changes in lighting and viewpoint. We first acqu...
174
click to vote
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
New demandsare put on query processing in Object-Oriented(00) databasesto provide efficient andrelationally completequery languages. A flexible 00 data model requires overloading ...
162
click to vote
CORR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...