8874 search results - page 417 / 1775 » A New Implementation of Automath |
180
Voted
FTCS
1993
15 years 9 months ago
1993
Failure detectors (or, more accurately Failure Suspectors { FS) appear to be a fundamental service upon which to build fault-tolerant, distributed applications. This paper shows t...
233
Voted
PSTV
1992
15 years 8 months ago
1992
We study the effect of three new reduction strategies for conventional reachability analysis, as used in automated protocol validation algorithms. The first two strategies are imp...
257
Voted
CADE
2010
Springer
15 years 8 months ago
2010
Springer
State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyp...
226
Voted
GISCIENCE
2008
Springer
15 years 8 months ago
2008
Springer
A trajectory is the time-stamped path of a moving entity through space. Given a set of trajectories, this paper proposes new conceptual definitions for a spatio-temporal pattern n...
197
Voted
AIR
2010
15 years 7 months ago
2010
Combinatorial problems appear in many areas in science, engineering, biomedicine, business, and operations research. This article presents a new intelligent computing approach for...