10891 search results - page 1593 / 2179 » Combining Model Reductions |
180
Voted
WOODPECKER
2001
15 years 6 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
149
Voted
WOB
2004
15 years 6 months ago
2004
Genome annotation projects may produce wrong results since they may be based on obsolete data or wrong models. This work aims to develop an automatic re-annotation system that use ...
158
click to vote
WSCG
2001
15 years 6 months ago
2001
This paper describes a new method for creating visually realistic moving facial image sequences that retain an actor's personality (individuality, expression and characterist...
132
Voted
NIPS
2003
15 years 6 months ago
2003
When we learn a new motor skill, we have to contend with both the variability inherent in our sensors and the task. The sensory uncertainty can be reduced by using information abo...
137
click to vote
PDPTA
2003
15 years 6 months ago
2003
We present a novel approach to parallel Boolean satisfiability (SAT) checking. A distinctive feature of our parallel SAT checker is that it incorporates all essential heuristics ...