Sciweavers

4352 search results - page 226 / 871
» A Representation Theorem and Applications
Sort
View
CORR
1998
Springer
76views Education» more  CORR 1998»
15 years 6 months ago
A Linguistically Interpreted Corpus of German Newspaper Text
In this paper, we report on the development of an annotation scheme an annotation tools for unrestricted German text. Our representation format is based on argument structure, but...
Wojciech Skut, Thorsten Brants, Brigitte Krenn, Ha...
JELIA
2010
Springer
15 years 5 months ago
Rational Closure for Defeasible Description Logics
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means o...
Giovanni Casini, Umberto Straccia
NDT
2010
15 years 2 months ago
Ontology Based Tracking and Propagation of Provenance Metadata
Abstract. Tracking the provenance of application data is of key importance in the network environment due to the abundance of heterogeneous and controllable resources. We focus on ...
Miroslav Vacura, Vojtech Svátek
ICARCV
2006
IEEE
132views Robotics» more  ICARCV 2006»
16 years 1 months ago
Dynamic Environment Modeling with Gridmap: A Multiple-Object Tracking Application
— The Bayesian occupancy filter (BOF) [1] has achieved promising results in the object tracking applications. This paper presents a new development of BOF which inherits origina...
Cheng Chen, Christopher Tay, Christian Laugier, Ka...
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
16 years 20 days ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler