Sciweavers

5718 search results - page 241 / 1144
» Modeling Rule Precision
Sort
View
ACCV
2010
Springer
15 years 1 months ago
Spatiotemporal Contour Grouping Using Abstract Part Models
Part Models Pablo Sala1 , Diego Macrini2 , and Sven Dickinson1 1 University of Toronto, 2 Queen's University Abstract. In recent work [1], we introduced a framework for modelr...
Pablo Sala, Diego Macrini, Sven J. Dickinson
ACL
2003
15 years 8 months ago
Probabilistic Parsing for German Using Sister-Head Dependencies
We present a probabilistic parsing model for German trained on the Negra treebank. We observe that existing lexicalized parsing models using head-head dependencies, while successf...
Amit Dubey, Frank Keller
HAPTICS
2003
IEEE
15 years 12 months ago
Dynamic Local Models for Stable Multi-Contact Haptic Interaction with Deformable Objects
This paper describes a new technique for allowing multiple users to haptically interact with a set of deformable slowly-simulated objects in a stable manner. Stability has been ap...
Federico Barbagli, John Kenneth Salisbury Jr., Dom...
ATVA
2007
Springer
90views Hardware» more  ATVA 2007»
15 years 10 months ago
Efficient Approximate Verification of Promela Models Via Symmetry Markers
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
Dragan Bosnacki, Alastair F. Donaldson, Michael Le...
AAAI
1993
15 years 8 months ago
Numerical Behavior Envelopes for Qualitative Models
Semiquantitative models combine both qualitative and quantitative knowledge within a single semiquantitative qualitative differential equation (SQDE) representation. With current ...
Herbert Kay, Benjamin Kuipers