Sciweavers

1525 search results - page 200 / 305
» POSD-a notation for presenting complex systems of processes
Sort
View
121
Voted
WMCSA
2009
IEEE
15 years 10 months ago
Context-aware composition
Context–Aware Composition is a technique to overcome the complexity of wireless discovery, device selection, and establishing connections to other computers in an environment wh...
Kent Lyons, Roy Want, David Munday, Jiasheng He, S...
99
Voted
ATAL
2009
Springer
15 years 10 months ago
A model for integrating dialogue and the execution of joint plans
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
Yuqing Tang, Timothy J. Norman, Simon Parsons
115
Voted
FM
2009
Springer
106views Formal Methods» more  FM 2009»
15 years 10 months ago
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
Rik Eshuis
188
Voted
ICPR
2008
IEEE
15 years 9 months ago
Ranking the local invariant features for the robust visual saliencies
Local invariant feature based methods have been proven to be effective in computer vision for object recognition and learning. But for an image, the number of points detected and ...
Shengping Xia, Peng Ren, Edwin R. Hancock
107
Voted
ICPR
2008
IEEE
15 years 9 months ago
Real-time update of 3D deformable models for computer aided liver surgery
Providing accurate image-guidance for soft-tissue interventions remains a complex task. Most of the time, preoperative models and planning data are no more valid during the surgic...
Benoît Dagon, Charles Baur, Vincent Bettscha...