Sciweavers

4328 search results - page 395 / 866
» A New Kind of Science
Sort
View
IROS
2009
IEEE
199views Robotics» more  IROS 2009»
16 years 1 months ago
Multiswarm Particle Filter for vision based SLAM
Abstract— Particle Filters have been widely used as a powerful optimization tool for nonlinear, non-Gaussian dynamic models such as Simultaneous Localization and Mapping (SLAM) a...
Hee Seok Lee, Kyoung Mu Lee
ACML
2009
Springer
16 years 1 months ago
Injecting Structured Data to Generative Topic Model in Enterprise Settings
Enterprises have accumulated both structured and unstructured data steadily as computing resources improve. However, previous research on enterprise data mining often treats these ...
Han Xiao, Xiaojie Wang, Chao Du
APPT
2009
Springer
16 years 1 months ago
A Fast Scheme to Investigate Thermal-Aware Scheduling Policy for Multicore Processors
Abstract. With more cores integrated into one single chip, the overall power consumption from the multiple concurrent running programs increases dramatically in a CMP processor whi...
Liqiang He, Cha Narisu
CANS
2009
Springer
180views Cryptology» more  CANS 2009»
16 years 1 months ago
RFID Distance Bounding Protocol with Mixed Challenges to Prevent Relay Attacks
RFID systems suffer from different location-based attacks such as distance fraud, mafia fraud and terrorist fraud attacks. Among them mafia fraud attack is the most serious sin...
Chong Hee Kim, Gildas Avoine
FOSAD
2009
Springer
16 years 1 months ago
The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
Sebastian Mödersheim, Luca Viganò