2009 search results - page 291 / 402 » Dense Interest Points |
SIGSOFT
1996
ACM
14 years 10 days ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
VLDB
1997
ACM
14 years 9 days ago
1997
ACM
Spatial data mining, i.e., discovery of interesting characteristics and patterns that may implicitly exist in spatial databases, is a challenging task due to the huge amounts of s...
FOCS
1994
IEEE
14 years 9 days ago
1994
IEEE
We establish a nonlinear lower bound for halfplane range searching over a group. Specifically, we show that summing up the weights of n (weighted) points within n halfplanes requir...
AIIA
2009
Springer
14 years 6 days ago
2009
Springer
Abstract. In this paper a novel framework for brain classification is proposed in the context of mental health research. A learning by example method is introduced by combining loc...
BIRD
2007
Springer
14 years 5 days ago
2007
Springer
Abstract. Searching and mining nuclear magnetic resonance (NMR)spectra of naturally occurring substances is an important task to investigate new potentially useful chemical compoun...