2765 search results - page 507 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
CORR
2004
Springer
14 years 11 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
118
click to vote
ICST
2010
IEEE
14 years 9 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
ACL
2010
14 years 9 months ago
2010
We observe that (1) how a given named entity (NE) is translated (i.e., either semantically or phonetically) depends greatly on its associated entity type, and (2) entities within ...
110
click to vote
APSCC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--The proliferation of Data as a Service (DaaS) available on the Internet and offered by cloud service providers indicates an increasing trend in providing data under Web s...
121
click to vote
CVPR
2011
IEEE
14 years 4 months ago
2011
IEEE
We propose a reduced algebraic cost based on pairwise epipolar constraints for the iterative refinement of a multiple view 3D reconstruction. The aim is to accelerate the intermedi...