322 search results - page 42 / 65 » An Example of an Automatic Differentiation-Based Modelling S... |
FORMATS
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
COORDINATION
2006
Springer
15 years 1 months ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
VMV
2001
14 years 11 months ago
2001
We present a novel approach to localization of objects in clutter images with the use of linear adaptive filters in a two-object classifier: target object versus clutter object. A...
CAD
2008
Springer
14 years 10 months ago
2008
Springer
Detecting approximate symmetries of parts of a model is important when attempting to determine the geometric design intent of approximate boundary-representation (B-rep) solid mod...
100
click to vote
AAAI
2012
13 years 12 days ago
2012
We propose to model relative attributes1 that capture the relationships between images and objects in terms of human-nameable visual properties. For example, the models can captur...