1581 search results - page 205 / 317 » Mechanizing Inductive Reasoning |
115
click to vote
EMSOFT
2004
Springer
15 years 8 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
115
click to vote
FLOPS
2004
Springer
15 years 8 months ago
2004
Springer
We propose pattern matching calculi as a refinement of λ-calculus that integrates mechanisms appropriate for fine-grained modelling of non-strict pattern matching. Compared with...
108
click to vote
MKM
2004
Springer
15 years 8 months ago
2004
Springer
A major obstacle for bridging the gap between textbook mathematics and formalising it on a computer is the problem how to adequately capture the intuition inherent in the mathemati...
128
click to vote
ICCV
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper describes an approach to recovering surface models of complex scenes from the quasi-sparse data returned by a feature based stereo system. The method can be used to mer...