2208 search results - page 173 / 442 » Memory Practices in the Sciences |
110
click to vote
WSPI
2004
15 years 3 months ago
2004
Abstract. We examine the possibility of applying knowledge representation and automated reasoning in the context of philosophical ontology. For this purpose, we use the axioms and ...
118
Voted
IVCNZ
1998
15 years 3 months ago
1998
: Large polygon meshes are a common entity in scienti c and engineering science. Polygon meshes can be used for simpli ed geometric operations such as collision detection and surfa...
119
click to vote
JAPLL
2008
15 years 1 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
PR
2000
15 years 1 months ago
2000
The problem of the independence and completeness of rotation moment invariants is addressed in this paper. First, a general method for constructing invariants of arbitrary orders ...
230
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...