812 search results - page 87 / 163 » A Complete Guide to the Future |
GLVLSI
2009
IEEE
15 years 4 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
115
click to vote
ISMAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Generating 3D models of real world objects is a common task during development of any augmented reality application. This paper describes how ProFORMA (Probabilistic Feature-based...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Ontology matching plays a key role for semantic interoperability. Many methods have been proposed for automatically finding the alignment between heterogeneous ontologies. However...
ICEIS
2008
IEEE
15 years 4 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
The latest generation of the ERT560 Digital Radio Altimeter (DRA) developed for the Airbus A380 is the result of Thales’ 40 years experience. Over 40,000 radio-altimeters have b...