Sciweavers

6769 search results - page 345 / 1354
» A new concept of robustness
Sort
View
FORTE
2003
15 years 8 months ago
Behavioural Contracts for a Sound Assembly of Components
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
Cyril Carrez, Alessandro Fantechi, Elie Najm
CDC
2009
IEEE
141views Control Systems» more  CDC 2009»
15 years 8 months ago
Decentralized receding horizon control for multiple unmanned helicopters considering dynamics model
In this paper, the formation flight of multiple Unmanned Helicopter (UH) systems is researched and a new decentralized receding horizon formation control algorithm is supposed. The...
Yuqing He, Jianda Han
JOLLI
2006
86views more  JOLLI 2006»
15 years 6 months ago
Types as Graphs: Continuations in Type Logical Grammar
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
Chris Barker, Chung-chieh Shan
ALGORITHMICA
2004
112views more  ALGORITHMICA 2004»
15 years 6 months ago
Maximum Cardinality Search for Computing Minimal Triangulations of Graphs
Abstract. We present a new algorithm, called MCS-M, for computing minimal triangulations of graphs. LexBFS, a seminal algorithm for recognizing chordal graphs, was the genesis for ...
Anne Berry, Jean R. S. Blair, Pinar Heggernes, Bar...
200
Voted
PSYCHNOLOGY
2010
120views more  PSYCHNOLOGY 2010»
15 years 5 months ago
Exploring Self-Presence in Collaborative Virtual Teams
The concept of self-presence provides a framework for understanding how people connect to virtual self-representations on three distinct levels (body, emotions, and identity). The...
Rabindra Ratan, Béatrice S. Hasler