Sciweavers

1928 search results - page 137 / 386
» Integrity Constraints in OWL
Sort
View
101
Voted
CORR
2008
Springer
130views Education» more  CORR 2008»
15 years 24 days ago
Convex Hull of Arithmetic Automata
Abstract. Arithmetic automata recognize infinite words of digits denoting decompositions of real and integer vectors. These automata are known expressive and efficient enough to re...
Jérôme Leroux
97
Voted
JOTA
2010
91views more  JOTA 2010»
14 years 7 months ago
Structure of Viability Kernels for Some Linear Differential Games
A convenient form of necessary and sufficient conditions of viability for differential games with linear dynamics is proposed. These conditions are utilized to construct maximal vi...
N. D. Botkin, E. A. Ryazantseva
ICDE
2007
IEEE
127views Database» more  ICDE 2007»
16 years 2 months ago
Efficiently Detecting Inclusion Dependencies
Data sources for data integration often come with spurious schema definitions such as undefined foreign key constraints. Such metadata are important for querying the database and ...
Jana Bauckmann, Ulf Leser, Felix Naumann, Veroniqu...
199
Voted
GIS
2008
ACM
16 years 1 months ago
An inconsistency tolerant approach to querying spatial databases
In order to deal with inconsistent databases, a repair semantics defines a set of admissible database instances that restore consistency, while staying close to the original insta...
Leopoldo E. Bertossi, Mónica Caniupá...
ICML
2006
IEEE
16 years 1 months ago
Efficient MAP approximation for dense energy functions
We present an efficient method for maximizing energy functions with first and second order potentials, suitable for MAP labeling estimation problems that arise in undirected graph...
Marius Leordeanu, Martial Hebert