637 search results - page 77 / 128 » Inconsistency-Tolerant Integrity Checking |
VLDB
1990
ACM
15 years 6 months ago
1990
ACM
: The problem of view updatesin deductive databasesis studiedby casting this in anaturally associatedabductive framework.It is shownthat this abductiveapproachdeals successfully, i...
101
click to vote
ICDAR
2007
IEEE
15 years 5 months ago
2007
IEEE
To date, automatic handwring recognition systems are far from being perfect and heavy human intervention is often required to check and correct the results of such systems. In ord...
114
click to vote
APSEC
2004
IEEE
15 years 5 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
109
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
125
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...