637 search results - page 95 / 128 » Inconsistency-Tolerant Integrity Checking |
131
click to vote
AAIM
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. Given a digraph D, the Minimum Leaf Out-Branching problem (MinLOB) is the problem of finding in D an out-branching with the minimum possible number of leaves, i.e., vert...
108
Voted
DFT
2007
IEEE
15 years 10 months ago
2007
IEEE
The network-on-chip (NoC) paradigm is seen as a way of facilitating the integration of a large number of computational and storage blocks on a chip to meet several performance and...
111
Voted
VTC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Vehicular communication (VC) systems have the potential to improve road safety and driving comfort. Nevertheless, securing the operation is a prerequisite for deployment. So fa...
117
click to vote
CPAIOR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we introduce a Yet ImprovEd Limited Discrepancy Search (YIELDS), a complete algorithm for solving Constraint Satisfaction Problems. As indicated in its nam...
111
click to vote
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...