313 search results - page 54 / 63 » Building Models through Formal Specification |
DLOG
2006
13 years 10 months ago
2006
The novel context of accessing and querying large data repositories through ontologies that are formalized in terms of expressive DLs requires on the one hand to consider query an...
IJDAR
2006
13 years 8 months ago
2006
Tables are a ubiquitous form of communication. While everyone seems to know what a table is, a precise, analytical definition of "tabularity" remains elusive because some...
SAC
2006
ACM
13 years 8 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
CVPR
2009
IEEE
14 years 3 months ago
2009
IEEE
We propose novel algorithms for the detection, segmentation, recognition, and pose estimation of threedimensional objects. Our approach initially infers geometric primitives to de...
ICDIM
2007
IEEE
14 years 2 months ago
2007
IEEE
The Much advancement has lately occurred in eCommerce systems’ interfaces. Product specifications listings combined with pictures is no longer considered the benchmark for eComm...