2585 search results - page 27 / 517 » Automating Coherent Logic |
103
Voted
MVA
2002
15 years 1 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
15 years 6 months ago
1992
Springer
An algorithm is presented which eliminates second
104
Voted
DLOG
2006
15 years 3 months ago
2006
In the current paper we investigate the role of Euclidian roles in Description Logics.
81
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Modal dependence logic was introduced very recently by V
108
click to vote
IPPS
2003
IEEE
15 years 7 months 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...