Sciweavers

1941 search results - page 189 / 389
» DNA Computing Approach to Construction of Semantic Model
Sort
View
ICPR
2008
IEEE
16 years 15 days ago
Face age estimation using patch-based hidden Markov model supervectors
Recent studies in patch-based Gaussian Mixture Model (GMM) approaches for face age estimation present promising results. We propose using a hidden Markov model (HMM) supervector t...
Xiaodan Zhuang, Xi Zhou, Mark Hasegawa-Johnson, Th...
E4MAS
2005
Springer
15 years 11 months ago
Grounding Social Interactions in the Environment
Abstract. While agents and environments are two intimately connected concepts, most approaches for multi-agent development focus on the agent-specific part of the system, whereas ...
Florian Klein, Holger Giese
CORR
2004
Springer
124views Education» more  CORR 2004»
15 years 5 months ago
On the existence of stable models of non-stratified logic programs
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
Stefania Costantini
163
Voted
ICALP
2010
Springer
15 years 8 months ago
From Secrecy to Soundness: Efficient Verification via Secure Computation
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...
Benny Applebaum, Yuval Ishai, Eyal Kushilevitz
CONCUR
2005
Springer
15 years 11 months ago
Deriving Weak Bisimulation Congruences from Reduction Systems
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawe...