4447 search results - page 476 / 890 » Service Interaction Patterns |
192
Voted
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
146
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Automation has long been recognized as an important goal in AFM (Atomic Force Microscope) nanomanipulation research. For the precise manipulation of small particles with...
197
Voted
AIED
2007
Springer
16 years 1 months ago
2007
Springer
We investigated the potential of automatic detection of a learner’s affective states from posture patterns and dialogue features obtained from an interaction with AutoTutor, an i...
176
Voted
SIGIR
2006
ACM
16 years 25 days ago
2006
ACM
We propose that the information access behavior of a group of people can be modeled as an information flow issue, in which people intentionally or unintentionally influence and in...
177
click to vote
CSB
2005
IEEE
16 years 15 days ago
2005
IEEE
Cutting-edge biological and bioinformatics research seeks a systems perspective through the analysis of multiple types of high-throughput and other experimental data for the same ...