Sciweavers

2347 search results - page 226 / 470
» Location, location, location: a study of bluejacking practic...
Sort
View
CAV
2004
Springer
154views Hardware» more  CAV 2004»
14 years 1 days ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...
DAGM
2006
Springer
13 years 12 months ago
Integrating Recognition and Reconstruction for Cognitive Traffic Scene Analysis from a Moving Vehicle
This paper presents a practical system for vision-based traffic scene analysis from a moving vehicle based on a cognitive feedback loop which integrates real-time geometry estimati...
Bastian Leibe, Nico Cornelis, Kurt Cornelis, Luc J...
AVBPA
2003
Springer
135views Biometrics» more  AVBPA 2003»
13 years 12 months ago
Comparison of MLP and GMM Classifiers for Face Verification on XM2VTS
We compare two classifier approaches, namely classifiers based on Multi Layer Perceptrons (MLPs) and Gaussian Mixture Models (GMMs), for use in a face verification system. The comp...
Fabien Cardinaux, Conrad Sanderson, Sébasti...
COMPGEOM
2001
ACM
13 years 12 months ago
Computing a 3-dimensional cell in an arrangement of quadrics: exactly and actually!
We present two approaches to the problem of calculating a cell in a 3-dimensional arrangement of quadrics. The first approach solves the problem using rational arithmetic. It work...
Nicola Geismann, Michael Hemmer, Elmar Schöme...
PAKDD
2000
ACM
140views Data Mining» more  PAKDD 2000»
13 years 12 months ago
Performance Controlled Data Reduction for Knowledge Discovery in Distributed Databases
The objective of data reduction is to obtain a compact representation of a large data set to facilitate repeated use of non-redundant information with complex and slow learning alg...
Slobodan Vucetic, Zoran Obradovic