327 search results - page 63 / 66 » Model Checking and Evidence Exploration |
APGV
2008
ACM
13 years 10 months ago
2008
ACM
Insights from human perception of moving faces have the potential to provide interesting insights for technical animation systems as well as in the neural encoding of facial expre...
ALGORITHMICA
2006
13 years 8 months ago
2006
Our goal is to develop a robust out-of-core sorting program for a distributed-memory cluster. The literature contains two dominant paradigms for out-of-core sorting algorithms: me...
BMCBI
2006
13 years 8 months ago
2006
Background: Channel current feature extraction methods, using Hidden Markov Models (HMMs) have been designed for tracking individual-molecule conformational changes. This informat...
TPDS
2008
13 years 8 months ago
2008
The Internet is a hierarchical architecture comprising heterogeneous entities of privately owned infrastructures, where higher level Internet service providers (ISPs) supply conne...
ATAL
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...