Sciweavers

3475 search results - page 87 / 695
» A DEA approach for model combination
Sort
View
IFM
2010
Springer
203views Formal Methods» more  IFM 2010»
13 years 6 months ago
A CSP Approach to Control in Event-B
Event-B has emerged as one of the dominant state-based formal techniques used for modelling control-intensive applications. Due to the blocking semantics of events, their ordering ...
Steve Schneider, Helen Treharne, Heike Wehrheim
CADUI
2006
13 years 9 months ago
Participatory Design Meets Mixed Reality Design Models
: Participatory design and model-based approaches are two major HCI design approaches. Traditionally opposed, the first ones promote user's creativity while the second ones su...
Emmanuel Dubois, Guillaume Gauffre, Cédric ...
RITA
2000
109views more  RITA 2000»
13 years 7 months ago
A logic-based approach for real-time object-oriented software development
This paper discusses how RETOOL, an action logic featuring an operator that expresses necessary conditions, postconditions and time bounds of actions, can be combined with MTL, a ...
Fernando Náufel do Amaral, Edward Hermann H...
KES
2005
Springer
14 years 1 months ago
An OCR Post-processing Approach Based on Multi-knowledge
This paper proposes an OCR post-processing approach based on multi-knowledge, which integrates language knowledge and candidate distance information given by the OCR engine. In thi...
Li Zhuang, Xiaoyan Zhu
BIB
2008
109views more  BIB 2008»
13 years 7 months ago
Computational intelligence approaches for pattern discovery in biological systems
Biology, chemistry and medicine are faced by tremendous challenges caused by an overwhelming amount of data and the need for rapid interpretation. Computational intelligence (CI) ...
Gary B. Fogel