Sciweavers

3090 search results - page 447 / 618
» Document Processing with LinkIT
Sort
View
B
2007
Springer
16 years 17 days ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
CLEAR
2007
Springer
120views Biometrics» more  CLEAR 2007»
16 years 17 days ago
TUT Acoustic Source Tracking System 2007
Abstract. This paper is a documentation of the acoustic person tracking system developed by TUT. The system performance was evaluated in the CLEAR 2007 evaluation. The proposed sys...
Teemu Korhonen, Pasi Pertilä
JSAI
2007
Springer
16 years 16 days ago
Towards Translation of Legal Sentences into Logical Forms
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
Makoto Nakamura, Shunsuke Nobuoka, Akira Shimazu
MTSR
2007
Springer
16 years 15 days ago
agroXML Enabling Standardized, Platform-Independent Internet Data Exchange in Farm Management Information Systems
agroXML is a standardized language for data exchange in agriculture. It is based on the eXtensible Markup Language (XML) using XML Schema as its definition language. agroXML is us...
Mario Schmitz, Daniel Martini, Martin Kunisch, Han...
NLDB
2007
Springer
16 years 15 days ago
A Lightweight Approach to Semantic Annotation of Research Papers
This paper presents a novel application of a semantic annotation system, named Cerno, to analyze research publications in electronic format. Specifically, we address the problem of...
Nicola Zeni, Nadzeya Kiyavitskaya, Luisa Mich, Joh...