1567 search results - page 55 / 314 » A Mechanized Model of the Theory of Objects |
142
click to vote
EDCC
2008
Springer
15 years 3 months ago
2008
Springer
In avionics domain, the software applications grew to millions of source lines of code representing important development expenditures. To cut the costs, the avionics suppliers ar...
163
click to vote
ICLP
2011
Springer
14 years 5 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
SIAMAM
2002
15 years 1 months ago
2002
In this paper, we revisit experiments in which a thin liquid film forms at the tip of a capillary meniscus due to the presence of a thermally induced Marangoni shear stress. Starti...
138
click to vote
KES
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
115
click to vote
CVPR
2006
IEEE
16 years 3 months ago
2006
IEEE
Recently, the generative modeling approach to video segmentation has been gaining popularity in the computer vision community. For example, the flexible sprites framework has been...