313 search results - page 54 / 63 » Building Models through Formal Specification |
130
Voted
DLOG
2006
15 years 1 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...
84
Voted
IJDAR
2006
14 years 11 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
14 years 11 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
15 years 6 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...
76
Voted
ICDIM
2007
IEEE
15 years 6 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...