1283 search results - page 80 / 257 » A Survey on Temporal Logics |
269
click to vote
VLDB
2001
ACM
16 years 6 months ago
2001
ACM
The problem of answering queries using views is to find efficient methods of answering a query using a set of previously materialized views over the database, rather than accessin...
172
click to vote
SFM
2007
Springer
16 years 11 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
158
click to vote
TVLSI
1998
15 years 5 months ago
1998
— Wave-pipelining is a method of high-performance circuit design which implements pipelining in logic without the use of intermediate latches or registers. The combination of hig...
179
click to vote
LANMR
2007
15 years 7 months ago
2007
In Artificial Intelligence, as well as in data base updating or in the design of intelligent agents, it is necessary the use of contradictory information. For that, it is useful t...