1336 search results - page 154 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
146
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
153
Voted
MICAI
2005
Springer
15 years 9 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
144
Voted
SIGADA
2004
Springer
15 years 9 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
166
Voted
ACII
2005
Springer
15 years 5 months ago
2005
Springer
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...
151
Voted
ACMICEC
2007
ACM
15 years 7 months ago
2007
ACM
Needs-based analysis lies at the intersection of product marketing and new product development. It is the study of why consumers purchase and what they do with those purchases. In...