Sciweavers

13270 search results - page 299 / 2654
» Computer Vision on Mars
Sort
View

Publication
247views
17 years 4 months ago
A Survey of Protocols and Open Issues in ATM Multipoint Communication
Asynchronous transfer mode (ATM) networks must define multicast capabilities in order to efficiently support numerous applications, such as video conferencing and distributed appli...
Sonia Fahmy, Raj Jain, Shivkumar Kalyanaraman, Roh...
SPIN
2007
Springer
16 years 22 days ago
Model Extraction for ARINC 653 Based Avionics Software
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
Pedro de la Cámara, María-del-Mar Ga...
AIME
2005
Springer
16 years 5 days ago
MHB - A Many-Headed Bridge Between Informal and Formal Guideline Representations
Clinical guidelines are becoming more and more important as a means to improve the quality of care by supporting medical staff. Modelling guidelines in a computer-processable form ...
Andreas Seyfang, Silvia Miksch, Cristina Polo-Cond...
ATAL
2003
Springer
15 years 12 months ago
Continual coordination through shared activities
Interacting agents that interleave planning and execution must reach consensus on their commitments to each other. In domains where agents have varying degrees of interaction and ...
Bradley J. Clement, Anthony C. Barrett
ECTEL
2009
Springer
15 years 10 months ago
The Influence of Coalition Formation on Idea Selection in Dispersed Teams: A Game Theoretic Approach
In an open innovation environment, organizational learning takes place by means of dispersed teams which expand their knowledge through collaborative idea generation. Research is o...
Rory L. L. Sie, Marlies Bitter-Rijpkema, Peter B. ...