198 search results - page 20 / 40 » The modular structure of physical theories |
110
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
105
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
SIGIR
2005
ACM
15 years 5 months ago
2005
ACM
This paper proposes GBM (gravitation-based model), a physical model for information retrieval inspired by Newton’s theory of gravitation. A mapping is built in this model from c...
102
click to vote
CONTEXT
2001
Springer
15 years 4 months ago
2001
Springer
A recent report by the National Research Council (NRC) declares neural networks “hold the most promise for providing powerful learning models”. While some researchers have expe...
162
Voted
VLDB
2001
ACM
15 years 12 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...