111 search results - page 22 / 23 » Evidence Explorer: A Tool for Exploring Model-Checking Proof... |
WETICE
1997
IEEE
13 years 11 months ago
1997
IEEE
When an artifact is designed the typical output consists of documents describing the final result of a long series of deliberations and tradeoffs by the participants of collaborat...
FIMH
2009
Springer
13 years 5 months ago
2009
Springer
Cardiac magnetic resonance (MR) imaging has advanced to become a powerful diagnostic tool in clinical practice. Automatic detection of anatomic landmarks from MR images is importan...
HT
2006
ACM
14 years 1 months ago
2006
ACM
In recent years, tagging systems have become increasingly popular. These systems enable users to add keywords (i.e., “tags”) to Internet resources (e.g., web pages, images, vi...
COGSCI
2010
13 years 7 months ago
2010
A multi-modal person representation contains information about what a person looks like and what a person sounds like. However, little is known about how children form these face-...
BMCBI
2006
13 years 7 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...