3053 search results - page 297 / 611 » Structured Objects: Modeling and Reasoning |
164
click to vote
ICIAP
2009
ACM
16 years 4 months ago
2009
ACM
Multi-class binary symbol classification requires the use of rich descriptors and robust classifiers. Shape representation is a difficult task because of several symbol distortions...
123
click to vote
HAPTICS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a method for building analytical contact models for soft fingers. Friction constraints are derived based on general expressions for non-planar contacts of ela...
122
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Today, hot embossing and injection molding belong to the established plastic molding processes in microengineering. Based on experimental findings, a variety of microstructures ha...
129
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
135
click to vote
AAAI
1990
15 years 5 months ago
1990
The probabilistic network technology is a knowledgebased technique which focuses on reasoning under uncertainty. Because of its well defined semantics and solid theoretical founda...