Sciweavers

3028 search results - page 516 / 606
» Adaptive Novice Supporter
Sort
View
131
Voted
SCP
2010
172views more  SCP 2010»
15 years 6 days ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
107
Voted
SMC
2010
IEEE
132views Control Systems» more  SMC 2010»
15 years 6 days ago
Selection of SIFT feature points for scene description in robot vision
This paper presents a method for selection of SIFT(Scale-Invariant Feature Transform) feature points using OC-SVM (One Class-Support Vector Machines). We proposed the method for au...
Yuya Utsumi, Masahiro Tsukada, Hirokazu Madokoro, ...
SQJ
2010
152views more  SQJ 2010»
15 years 6 days ago
Design pattern evolutions in QVT
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
Jing Dong, Yajing Zhao, Yongtao Sun
128
Voted
STTT
2010
122views more  STTT 2010»
15 years 6 days ago
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
Jean-Raymond Abrial, Michael J. Butler, Stefan Hal...
WIAS
2010
152views more  WIAS 2010»
15 years 5 days ago
Towards a systematic approach for designing autonomic systems
An autonomic system is a system capable of managing itself and adjusting its actions in the face of environmental changes. Autonomic systems are currently developed using ad-hoc ap...
Walamitien H. Oyenan, Scott A. DeLoach