6020 search results - page 536 / 1204 » A New Approach to Model Counting |
158
click to vote
BMVC
2000
15 years 8 months ago
2000
In this paper, we present a new approach for measuring eye-gaze of human via images of the irises. Two iris contours are approximately modeled as two circles having known radii an...
152
click to vote
RAS
2008
15 years 6 months ago
2008
This paper presents the Compliant Task Generator: a new approach for the automatic conversion of a geometric path generated by a compliant path planner to a force based task specif...
205
click to vote
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
The paper discusses a new approach to merging conflicting propositional knowledge bases which builds on the idea that consistency can often be restored by interpreting proposition...
175
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new approach to introducing an extensional propositional equality in Intensional Type Theory. Our construction is based on the observation that there is a sound, inte...
187
click to vote
AVI
2010
15 years 8 months ago
2010
Computational Scientists are both creators and end-users of scientific models. Different aspects to their work target different audiences and generally require different developme...