308 search results - page 17 / 62 » Modular Verification of Interactive Systems with an Applicat... |
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
We have developed a general purpose use and modular architecture of an Embodied Conversational Agent (ECA) called Greta. Our 3D agent is able to communicate using verbal and nonve...
ICSM
2007
IEEE
14 years 1 months ago
2007
IEEE
Bioinformaticists use the Basic Local Alignment Search Tool (BLAST) to characterize an unknown sequence by comparing it against a database of known sequences, thus detecting evolu...
TASE
2008
IEEE
13 years 6 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
BMCBI
2007
13 years 6 months ago
2007
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
RECOMB
2006
Springer
14 years 7 months ago
2006
Springer
Computational and comparative analysis of protein-protein interaction (PPI) networks enable understanding of the modular organization of the cell through identification of functio...