Sciweavers

1992 search results - page 272 / 399
» Model Based Testing with Labelled Transition Systems
Sort
View
124
Voted
IPSN
2005
Springer
15 years 9 months ago
Beyond event handlers: programming wireless sensors with attributed state machines
— Event-driven programming is a popular paradigm for programming sensor nodes. It is based on the specification of actions (also known as event handlers) which are triggered by ...
Oliver Kasten, Kay Römer
118
Voted
IUI
2010
ACM
16 years 9 days ago
Agent-assisted task management that reduces email overload
RADAR is a multiagent system with a mixed-initiative user interface designed to help office workers cope with email overload. RADAR agents observe experts to learn models of their...
Aaron Steinfeld, Andrew Faulring, Asim Smailagic, ...
150
Voted
ICCV
2011
IEEE
14 years 3 months ago
A 3D Laplacian-Driven Parametric Deformable Model
3D parametric deformable models have been used to extract volumetric object boundaries and they generate smooth boundary surfaces as results. However, in some segmentation cases, ...
Tian Shen, Xiaolei Huang, Hongsheng Li, Edward Kim...
CLEAR
2006
Springer
109views Biometrics» more  CLEAR 2006»
15 years 7 months ago
Evaluation of Head Pose Estimation for Studio Data
This paper introduces our head pose estimation system that localizes nose-tip of the faces and estimates head poses in studio quality pictures. After the nose-tip in the training d...
Jilin Tu, Yun Fu, Yuxiao Hu, Thomas S. Huang
CC
2010
Springer
282views System Software» more  CC 2010»
15 years 1 months ago
Lower Bounds on the Randomized Communication Complexity of Read-Once Functions
Abstract. We prove lower bounds on the randomized two-party communication complexity of functions that arise from read-once boolean formulae. A read-once boolean formula is a formu...
Nikos Leonardos, Michael Saks