Sciweavers

5055 search results - page 705 / 1011
» Relative Timing
Sort
View
KR
1998
Springer
15 years 11 months ago
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
Gerhard Lakemeyer, Hector J. Levesque
ICCAD
1997
IEEE
144views Hardware» more  ICCAD 1997»
15 years 11 months ago
Partial scan delay fault testing of asynchronous circuits
Asynchronous circuits operate correctly only under timing assumptions. Hence testing those circuits for delay faults is crucial. This paper describes a three-step method to detect...
Michael Kishinevsky, Alex Kondratyev, Luciano Lava...
VLDB
1998
ACM
149views Database» more  VLDB 1998»
15 years 11 months ago
Incremental Maintenance for Materialized Views over Semistructured Data
Semistructured data is not strictly typed like relational or object-oriented data and may be irregular or incomplete. It often arises in practice, e.g., when heterogeneous data so...
Serge Abiteboul, Jason McHugh, Michael Rys, Vasili...
WDAG
1998
Springer
110views Algorithms» more  WDAG 1998»
15 years 11 months ago
Seamlessly Selecting the Best Copy from Internet-Wide Replicated Web Servers
The explosion of the web has led to a situation where a majority of the traffic on the Internet is web related. Today, practically all of the popular web sites are served from sing...
Yair Amir, Alec Peterson, David Shaw
150
Voted
HT
1997
ACM
15 years 11 months ago
What the Query Told the Link: The Integration of Hypertext and Information Retrieval
Traditionally hypertexts have been limited in size by the manual effort required to create hypertext links. In addition, large hyper–linked collections may overwhelm users with ...
Gene Golovchinsky