Sciweavers

11374 search results - page 131 / 2275
» A System Demonstration of ST-TCP
Sort
View
ACII
2005
Springer
15 years 8 months ago
Face and Facial Expression Recognition with an Embedded System for Human-Robot Interaction
In this paper, we present an embedded system in which face recognition and facial expression recognition for Human-Robot Interaction are implemented. To detect face with a fast and...
Yang-Bok Lee, Seungbin Moon, Yong-Guk Kim
ATC
2007
Springer
15 years 8 months ago
A Generic and Modular System Architecture for Trustworthy, Autonomous Applications
We propose a generic architecture to facilitate the systematic design of autonomous, adaptive and safe applications. We specify generic modules including a trustworthiness enforcem...
George Brancovici, Christian Müller-Schloer
159
Voted
CMSB
2008
Springer
15 years 8 months ago
A Language for Biochemical Systems
Abstract. CBS is a Calculus of Biochemical Systems intended to allow the modelling of metabolic, signalling and regulatory networks in a natural and modular manner. In this paper w...
Michael Pedersen, Gordon D. Plotkin
DIMEA
2008
137views Multimedia» more  DIMEA 2008»
15 years 8 months ago
Biometric tendency recognition and classification system: an artistic approach
The Biometric Tendency Recognition and Classification System is a software application that continuously measures a participant's physiological responses to a given image and...
Carlos Castellanos, Philippe Pasquier, Luther Thie...
CIE
2010
Springer
15 years 7 months ago
The Limits of Tractability in Resolution-Based Propositional Proof Systems
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...
Stefan S. Dantchev, Barnaby Martin