Sciweavers

4418 search results - page 619 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
EDOC
2006
IEEE
16 years 20 days ago
Scheduling Real-Time Components Using Jitter-Constrained Streams
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
Claude-Joachim Hamann, Steffen Zschaler
FGR
2004
IEEE
182views Biometrics» more  FGR 2004»
15 years 10 months ago
Head Pose Estimation Using Stereo Vision For Human-Robot Interaction
In this paper we present a method for estimating a person's head pose with a stereo camera. Our approach focuses on the application of human-robot interaction, where people m...
Edgar Seemann, Kai Nickel, Rainer Stiefelhagen
JMLR
2002
138views more  JMLR 2002»
15 years 6 months ago
Text Chunking based on a Generalization of Winnow
This paper describes a text chunking system based on a generalization of the Winnow algorithm. We propose a general statistical model for text chunking which we then convert into ...
Tong Zhang, Fred Damerau, David Johnson
POPL
2012
ACM
14 years 2 months ago
Programming with binders and indexed data-types
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
Andrew Cave, Brigitte Pientka
CHI
2010
ACM
16 years 1 months ago
Interactive optimization for steering machine classification
Interest has been growing within HCI on the use of machine learning and reasoning in applications to classify such hidden states as user intentions, based on observations. HCI res...
Ashish Kapoor, Bongshin Lee, Desney S. Tan, Eric H...