Sciweavers

4270 search results - page 86 / 854
» A Permutation Approach to Validation
Sort
View
SIGMOD
2003
ACM
134views Database» more  SIGMOD 2003»
16 years 4 months ago
Location-based Spatial Queries
In this paper we propose an approach that enables mobile clients to determine the validity of previous queries based on their current locations. In order to make this possible, th...
Jun Zhang, Manli Zhu, Dimitris Papadias, Yufei Tao...
ITS
2010
Springer
163views Multimedia» more  ITS 2010»
15 years 6 months ago
Correcting Scientific Knowledge in a General-Purpose Ontology
General-purpose ontologies (e.g. WordNet) are convenient, but they are not always scientifically valid. We draw on techniques from semantic class learning to improve the scientific...
Michael Lipschultz, Diane J. Litman
118
Voted
ICIP
2010
IEEE
15 years 2 months ago
Face-TLD: Tracking-Learning-Detection applied to faces
A novel system for long-term tracking of a human face in unconstrained videos is built on Tracking-Learning-Detection (TLD) approach. The system extends TLD with the concept of a ...
Zdenek Kalal, Krystian Mikolajczyk, Jiri Matas
ISSTA
2006
ACM
15 years 10 months ago
Towards an architectural approach for the dynamic and automatic composition of software components
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...
Antonio Bucchiarone, Andrea Polini, Patrizio Pelli...
KBSE
2010
IEEE
15 years 2 months ago
A bounded statistical approach for model checking of unbounded until properties
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
Ru He, Paul Jennings, Samik Basu, Arka P. Ghosh, H...