Sciweavers

4584 search results - page 600 / 917
» interact 2007
Sort
View
ATVA
2007
Springer
101views Hardware» more  ATVA 2007»
16 years 28 days ago
A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
Sophie Pinchinat
BIOWIRE
2007
Springer
16 years 28 days ago
Field-Based Coordination for Pervasive Computing Applications
Emerging pervasive computing technologies such as sensor networks and RFID tags can be embedded in our everyday environment to digitally store and elaborate a variety of informatio...
Marco Mamei, Franco Zambonelli
183
Voted
BIRD
2007
Springer
107views Bioinformatics» more  BIRD 2007»
16 years 28 days ago
Prediction of Structurally-Determined Coiled-Coil Domains with Hidden Markov Models
The coiled-coil protein domain is a widespread structural motif known to be involved in a wealth of key interactions in cells and organisms. Coiled-coil recognition and prediction ...
Piero Fariselli, Daniele Molinini, Rita Casadio, A...
CCIA
2007
Springer
16 years 28 days ago
Agents and Clinical Guidelines: Filling the Semantic Gap
Medical ontologies are developed to solve problems such as the demand for reusing, sharing and transmitting data. The unambiguous communication of complex and detailed medical conc...
David Isern, David Sánchez, Antonio Moreno
CDVE
2007
Springer
112views Visualization» more  CDVE 2007»
16 years 28 days ago
VICA: A Voronoi Interface for Visualizing Collaborative Annotations
Abstract. Large-scale scientific investigation often includes collaborative data exploration among geographically distributed researchers. The tools used for this exploration typi...
Yue Wang, James Shearer, Kwan-Liu Ma