Sciweavers

3381 search results - page 305 / 677
» Extending Dependencies with Conditions
Sort
View
ICWS
2007
IEEE
15 years 8 months ago
Specifying Semantic Web Service Compositions using UML and OCL
The semantic web promises to bring automation to the areas of web service discovery, composition and invocation. In order to realize these benefits, rich semantic descriptions of...
John T. E. Timm, Gerald C. Gannod
VMV
2008
170views Visualization» more  VMV 2008»
15 years 8 months ago
Robust contour-based object tracking integrating color and edge likelihoods
We present in this paper a novel object tracking system based on 3D contour models. For this purpose, we integrate two complimentary likelihoods, defined on local color statistics...
Giorgio Panin, Erwin Roth, Alois Knoll
GVD
2004
111views Database» more  GVD 2004»
15 years 8 months ago
Detecting Logical Errors in SQL Queries
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
Stefan Brass, Christian Goldberg
IJIT
2004
15 years 8 months ago
Consistent Hybrid Knowledge Representation in Order-Sorted Logic
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
Nwe Ni Tun, Satoshi Tojo
FMOODS
2003
15 years 8 months ago
Inductive Proof Outlines for Monitors in Java
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
Erika Ábrahám, Frank S. de Boer, Wil...