Sciweavers

485 search results - page 63 / 97
» Modular Visitor Components
Sort
View
MFCS
1998
Springer
14 years 1 months ago
Defining the Java Virtual Machine as Platform for Provably Correct Java Compilation
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
Egon Börger, Wolfram Schulte
CAIP
1997
Springer
105views Image Analysis» more  CAIP 1997»
14 years 1 months ago
An Active Vision System for Obtaining High Resolution Depth Information
A low-cost active vision head with ten degrees of freedom is presented that has been build from off-the-shelf parts. To obtain high resolution depth information of fixated objects ...
Winfried A. Fellenz, Karsten Schlüns, Andreas...
DEXAW
2007
IEEE
172views Database» more  DEXAW 2007»
14 years 1 months ago
X-SOM: A Flexible Ontology Mapper
System interoperability is a well known issue, especially for heterogeneous information systems, where ontologybased representations may support automatic and usertransparent inte...
Carlo Curino, Giorgio Orsi, Letizia Tanca
CLEF
2006
Springer
14 years 25 days ago
Towards Entailment-Based Question Answering: ITC-irst at CLEF 2006
This year, besides providing support to other groups participating in cross-language Question Answering (QA) tasks, and submitting runs both for the monolingual Italian and the cr...
Milen Kouylekov, Matteo Negri, Bernardo Magnini, B...
HYBRID
1995
Springer
14 years 20 days ago
Compositional and Uniform Modelling of Hybrid Systems
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
Albert Benveniste