Sciweavers

100 search results - page 18 / 20
» New constructions of weak epsilon-nets
Sort
View
CVPR
2007
IEEE
14 years 11 months ago
Kernel Sharing With Joint Boosting For Multi-Class Concept Detection
Object/scene detection by discriminative kernel-based classification has gained great interest due to its promising performance and flexibility. In this paper, unlike traditional ...
Wei Jiang, Shih-Fu Chang, Alexander C. Loui
STACS
2009
Springer
14 years 4 months ago
Strong Completeness of Coalgebraic Modal Logics
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
Lutz Schröder, Dirk Pattinson
DLS
2008
149views Languages» more  DLS 2008»
13 years 11 months ago
Gradual typing with unification-based inference
Static and dynamic type systems have well-known strengths and weaknesses. Gradual typing provides the benefits of both in a single language by giving the programmer control over w...
Jeremy G. Siek, Manish Vachharajani
CORR
2004
Springer
137views Education» more  CORR 2004»
13 years 9 months ago
Implementation of Logical Functions in the Game of Life
: The Game of Life cellular automaton is a classical example of a massively parallel collision-based computing device. The automaton exhibits mobile patterns, gliders, and generato...
Jean-Philippe Rennard
VLDB
1999
ACM
224views Database» more  VLDB 1999»
14 years 2 months ago
Optimal Grid-Clustering: Towards Breaking the Curse of Dimensionality in High-Dimensional Clustering
Many applications require the clustering of large amounts of high-dimensional data. Most clustering algorithms, however, do not work e ectively and e ciently in highdimensional sp...
Alexander Hinneburg, Daniel A. Keim