334 search results - page 64 / 67 » Can a Model Checker Generate Tests for Non-Deterministic Sys... |
142
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Persistent Embodied Conversational Agents (ECA) can be used to assist users in their daily activities. We introduce the Health and Fitness Companion (HFC), which is a conversation...
126
click to vote
ISF
2010
15 years 2 months ago
2010
As more and more companies are deploying, or plan to deploy, information systems, the organizational capabilities to effectively deploy information technologies to support and shap...
146
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Translation initiation site (TIS) identification is an important aspect of the gene annotation process, requisite for the accurate delineation of protein sequences fro...
147
click to vote
WWW
2006
ACM
16 years 4 months ago
2006
ACM
A search engine that can handle TV programs and Web content in an integrated way is proposed. Conventional search engines have been able to handle Web content and/or data stored i...
151
click to vote
ASE
2005
15 years 3 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...