1127 search results - page 201 / 226 » Theory Extension in ACL2(r) |
119
Voted
DIAGRAMS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
123
click to vote
ICB
2007
Springer
15 years 2 months ago
2007
Springer
Gait recognition is an effective approach for human identification at a distance. During the last decade, the theory of hidden Markov models (HMMs) has been used successfully in th...
96
Voted
ESWS
2008
Springer
15 years 2 months ago
2008
Springer
The goal of this paper is to give an overview of the basics of the theory of RDF databases. We provide a formal definition of RDF that includes the features that distinguish this m...
98
Voted
FOIKS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper analyzes the aggregation of different abstract attack relations over a common set of arguments. Each of those attack relations can be considered as the represe...
97
Voted
AGI
2008
15 years 2 months ago
2008
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...