Sciweavers

2163 search results - page 264 / 433
» cases 2004
Sort
View
ADAEUROPE
2004
Springer
16 years 21 min ago
High-Integrity Interfacing to Programmable Logic with Ada
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
Adrian J. Hilton, Jon G. Hall
CAISE
2004
Springer
15 years 12 months ago
UML for Ontology Modelling and Interoperability
The Semantic Web vision aims to integrate and convert the vast amount of information available on the Internet into a machine-understandable network. The objective is to promote kn...
Vandana Kabilan, Paul Johannesson
LATIN
2004
Springer
15 years 12 months ago
Pure Future Local Temporal Logics Are Expressively Complete for Mazurkiewicz Traces
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic defined with the basic modalities exists-next and until is expressively com...
Volker Diekert, Paul Gastin
WSC
2004
15 years 8 months ago
Approximating Component Selection
Simulation composability is a difficult capability to achieve due to the challenges of creating components, selecting combinations of components, and integrating the selected comp...
Michael Roy Fox, David C. Brogan, Paul F. Reynolds...
CVPR
2004
IEEE
16 years 8 months ago
Wide Baseline Feature Matching Using the Cross-Epipolar Ordering Constraint
? Robust feature matching across different views of the same scene taken by two cameras with wide baseline and arbitrary rotation is still an open problem. Matching based on appear...
Xiaoye Lu, Roberto Manduchi