837 search results - page 128 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
CONTEXT
2005
Springer
14 years 1 months ago
2005
Springer
This article concerns red-light running at intersections and deals with the impact of different types of control strategies. Red running occurrences at red onset are observed throu...
IPCV
2008
13 years 9 months ago
2008
The main objective of this paper is to provide an efficient tool for delineating brain tumors in three-dimensional magnetic resonance images. To achieve this goal, we use basically...
ECSA
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural chara...
BMCBI
2006
13 years 7 months ago
2006
Background: An alternative to standard approaches to uncover biologically meaningful structures in micro array data is to treat the data as a blind source separation (BSS) problem...
AP2PC
2003
Springer
14 years 28 days ago
2003
Springer
Open trading environments involve a type of peer-to-peer computing characterised by well-defined interaction protocols that are used by the traders and sometimes updated dynamicall...