Sciweavers

1986 search results - page 96 / 398
» constraints 2006
Sort
View
FLAIRS
2006
13 years 9 months ago
On-line Qualitative Temporal Reasoning with Explanation
This work is a confluence of three problems in constraint reasoning: qualitative temporal reasoning (QTR), incremental reasoning, and explanation generation. Our primary objective...
Debasis Mitra, Florent Launay
ICDCS
2006
IEEE
14 years 1 months ago
Overlay Multicast with Inferred Link Capacity Correlations
We model the overlay using linear capacity constraints, which accurately and succinctly capture overlay link correlations. We show that finding a maximum-bandwidth multicast tree...
Ying Zhu, Baochun Li
JUCS
2006
109views more  JUCS 2006»
13 years 7 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
DEXAW
2006
IEEE
104views Database» more  DEXAW 2006»
13 years 11 months ago
On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases
When a database is defined as views over autonomous sources, inconsistencies with respect to global integrity constraints are to be expected. This paper investigates the possibili...
Henning Christiansen, Davide Martinenghi
JPDC
2006
106views more  JPDC 2006»
13 years 7 months ago
Computing nearest neighbors in real time
The nearest-neighbor method can successfully be applied to correct possible errors induced into bit strings transmitted over noisy communication channels or to classify samples in...
Marius Nagy, Selim G. Akl