Sciweavers

3819 search results - page 116 / 764
» Simple Easy Terms
Sort
View
DLOG
2007
14 years 14 days ago
On Importing Knowledge from DL Ontologies: Some Intuitions and Problems
Abstract. This paper argues for the benefits of distinguishing the notions of “ontology module” and “importing terms from an ontology”, by sampling some papers on these to...
Alexander Borgida
CCCG
2006
13 years 11 months ago
A Study of Conway's Thrackle Conjecture
A thrackle is a drawing of a simple graph on the plane, where each edge is drawn as a smooth arc with distinct end-points, and every two arcs have exactly one common point, at whi...
Wei Li 0011, Karen Daniels, Konstantin A. Rybnikov
ACL
1990
13 years 11 months ago
Memory Capacity and Sentence Processing
The limited capacity of working memory is intrinsic to human sentence processing, and therefore must be addressed by any theory of human sentence processing. This paper gives a th...
Edward Gibson
CORR
2008
Springer
61views Education» more  CORR 2008»
13 years 10 months ago
Short proofs of strong normalization
This paper presents simple, syntactic strong normalization proofs for the simply-typed -calculus and the polymorphic -calculus (system F) with the full set of logical connectives, ...
Aleksander Wojdyga
ICPR
2006
IEEE
14 years 11 months ago
Improving human activity detection by combining multi-dimensional motion descriptors with boosting
A new, combined human activity detection method is proposed. Our method is based on Efros et al.'s motion descriptors[2] and Ke et al.'s event detectors[3]. Since both m...
Josef Kittler, Seiji Ishikawa, Takehito Ogata, Wil...