2585 search results - page 27 / 517 » Automating Coherent Logic |
MVA
2002
13 years 7 months ago
2002
Velocity Picking is the problem of picking velocity-time pairs based on a coherence metric between multiple seismic signals. Coherence as a function of velocity and time can be ex...
KR
1992
Springer
13 years 11 months ago
1992
Springer
An algorithm is presented which eliminates second
DLOG
2006
13 years 8 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
CSL
2010
Springer
13 years 8 months ago
2010
Springer
Modal dependence logic was introduced very recently by V
IPPS
2003
IEEE
14 years 21 days ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...