Sciweavers

3628 search results - page 457 / 726
» Approaching the Physical Limits of Computing
Sort
View
ISORC
2007
IEEE
16 years 1 months ago
LSynD: Localized Synopsis Diffusion
Wireless sensor networks represent an extremely fastgrowing emerging technology, but still suffer from several limitations. The state of the art in sensor networks focuses on opti...
Andreea Berfield, Panos K. Chrysanthis, Daniel Mos...
QEST
2007
IEEE
16 years 29 days ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
167
Voted
SACI
2007
IEEE
16 years 29 days ago
Haptic Human Interfaces for Robotic Telemanipulation
–This paper proposes that there are ultimately only two topical tactile feedback generation modalities for haptic human interfaces which allow the human operator to handle either...
Emil M. Petriu, Pierre Payeur, Ana-Maria Cretu
CVPR
2010
IEEE
16 years 27 days ago
Dominant Orientation Templates for Real-Time Detection of Texture-Less Objects
We present a method for real-time 3D object detection that does not require a time consuming training stage, and can handle untextured objects. At its core, is a novel tem- plat...
Stefan Hinterstoisser, Vincent Lepetit, Slobodan I...
161
Voted
CP
2007
Springer
16 years 26 days ago
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
Stefano Bistarelli, Pamela Peretti, Irina Trubitsy...