9455 search results - page 263 / 1891 » The Modelling Language Zinc |
159
click to vote
ECIR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The identification of reliable and interesting items on Internet becomes more and more difficult and time consuming. This paper is a position paper describing our intend...
173
click to vote
IADIS
2009
15 years 3 months ago
2009
IONS FOR ROBOT COLLABORATION Bent Bruun Kristensen Maersk Mc-Kinney Moller Institute, University of Southern Denmark Campusvej 55, DK-5230, Odense M, Denmark Collaboration between...
162
click to vote
CLEF
2008
Springer
15 years 7 months ago
2008
Springer
Our first objective in participating in this domain-specific evaluation campaign is to propose and evaluate various indexing and search strategies for the German, English and Russ...
189
click to vote
ICIP
2008
IEEE
16 years 7 months ago
2008
IEEE
Reliable segmentation and motion tracking algorithms are required to achieve gesture detection and tracking for human-machine interaction. In this paper we present an efficient me...
161
click to vote
KBSE
1999
IEEE
15 years 10 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...