Sciweavers

12863 search results - page 2257 / 2573
» Dynamic Data Mining
Sort
View
PERCOM
2010
ACM
15 years 3 months ago
Practical experiences in enabling and ensuring quality sensing in emergency response applications
Situational awareness in emergency response is critical. Knowing the status of the hazards, the rescue workers, and the building occupants, etc., can greatly help the incident comm...
C. Davison, Daniel Massaguer, Lilia Paradis, M. Re...
152
Voted
PERCOM
2010
ACM
15 years 3 months ago
Predicting mobility events on personal devices
High-end mobile phones are quickly becoming versatile sensing platforms, capable of continuously capturing the dynamic context of their owners through various sensors. A change in...
Arjan J. H. Peddemors, Henk Eertink, Ignas G. Niem...
141
Voted
POPL
2010
ACM
15 years 3 months ago
S-Net for multi-memory multicores
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...
Clemens Grelck, Jukka Julku, Frank Penczek
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
15 years 3 months ago
Statically Inferring Complex Heap, Array, and Numeric Invariants
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
136
Voted
ICRA
2010
IEEE
259views Robotics» more  ICRA 2010»
15 years 2 months ago
RANSAC matching: Simultaneous registration and segmentation
The iterative closest points (ICP) algorithm is widely used for ego-motion estimation in robotics, but subject to bias in the presence of outliers. We propose a random sample conse...
Shao-Wen Yang, Chieh-Chih Wang, Chun-Hua Chang
« Prev « First page 2257 / 2573 Last » Next »