8587 search results - page 404 / 1718 » Interactive dynamic abstraction |
201
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
We present a compositional method for the verification of component-based systems described in a subset of the BIP language encompassing multi-party interaction without data transf...
171
Voted
INTERACT
2003
15 years 8 months ago
2003
Abstract: Designing and implementing multimodal applications that take advantage of several recognitionbased interaction techniques (e.g. speech and gesture recognition) is a diffi...
195
click to vote
RECOMB
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Protein-protein interactions play a major role in most cellular processes. Thus, the challenge of identifying the full repertoire of interacting proteins in the cell is o...
399
click to vote
VR
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract Modeling tools typically have their own interaction methods for combining virtual objects. For realistic composition in 3D space, many researchers from the fields of virt...
178
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Analyzing interaction networks for functional characterization poses significant challenges arising from the noisy, incomplete, and generic nature of both the interact...