Sciweavers

6693 search results - page 759 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
CIKM
2006
Springer
15 years 10 months ago
Finding highly correlated pairs efficiently with powerful pruning
We consider the problem of finding highly correlated pairs in a large data set. That is, given a threshold not too small, we wish to report all the pairs of items (or binary attri...
Jian Zhang, Joan Feigenbaum
CVPR
2007
IEEE
16 years 8 months ago
Learning Dynamic Event Descriptions in Image Sequences
Automatic detection of dynamic events in video sequences has a variety of applications including visual surveillance and monitoring, video highlight extraction, intelligent transp...
Harini Veeraraghavan, Nikolaos Papanikolopoulos, P...
SEMWEB
2009
Springer
16 years 1 months ago
Graph-Based Ontology Construction from Heterogenous Evidences
Abstract. Ontologies are tools for describing and structuring knowledge, with many applications in searching and analyzing complex knowledge bases. Since building them manually is ...
Christoph Böhm, Philip Groth, Ulf Leser
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
16 years 22 days ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
IROS
2006
IEEE
136views Robotics» more  IROS 2006»
16 years 19 days ago
Panoramic View-Based Navigation in Outdoor Environments Based on Support Vector Learning
— This paper describes a panoramic view-based navigation in outdoor environments. We have been developing a two-phase navigation method. In the training phase, the robot acquires...
Hideo Morita, Michael Hild, Jun Miura, Yoshiaki Sh...