Sciweavers

3819 search results - page 116 / 764
» Simple Easy Terms
Sort
View
105
Voted
DLOG
2007
15 years 5 months 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
104
Voted
CCCG
2006
15 years 4 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
100
Voted
ACL
1990
15 years 4 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
98
Voted
CORR
2008
Springer
61views Education» more  CORR 2008»
15 years 2 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
92
Voted
ICPR
2006
IEEE
16 years 3 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...