Sciweavers

893 search results - page 97 / 179
» Environment Assumptions for Synthesis
Sort
View
172
Voted
EMSOFT
2001
Springer
15 years 9 months ago
Interface Theories for Component-Based Design
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
Luca de Alfaro, Thomas A. Henzinger
134
Voted
ICPR
2002
IEEE
16 years 6 months ago
A Neural Architecture for Fast and Robust Face Detection
In this paper, we present a connectionist approach for detecting and precisely localizing semi-frontal human faces in complex images, making no assumption about the content or the...
Christophe Garcia, Manolis Delakis
140
Voted
CHI
2004
ACM
16 years 5 months ago
A constraint satisfaction approach to predicting skilled interactive cognition
In this paper we report a new approach to generating predictions about skilled interactive cognition. The approach, which we call Cognitive Constraint Modeling, takes as input a d...
Alonso H. Vera, Andrew Howes, Michael McCurdy, Ric...
188
Voted
IEEEICCI
2009
IEEE
15 years 12 months ago
The Embodied Communication Prior: A characterization of general intelligence in the context of Embodied social interaction
We outline a general conceptual definition of real-world general intelligence that avoids the twin pitfalls of excessive mathematical generality, and excessive anthropomorphism.. ...
Ben Goertzel
147
Voted
IFIP
2009
Springer
15 years 12 months ago
HMM-Based Trust Model
Probabilistic trust has been adopted as an approach to taking security sensitive decisions in modern global computing environments. Existing probabilistic trust frameworks either a...
Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielse...