2060 search results - page 185 / 412 » The Composition of Event-B Models |
191
click to vote
MICAI
2007
Springer
16 years 20 days ago
2007
Springer
The wavelet transform has been used for feature extraction in many applications of pattern recognition. However, in general the learning algorithms are not designed taking into acc...
104
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
Over the last several years, a new probabilistic representation for 3-d volumetric modeling has been developed. The main purpose of the model is to detect deviations from the norm...
176
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
One of the main objectives of developing component-based software systems is to enable efficient building of systems through the integration of components. All component models def...
272
click to vote
VLDB
2004
ACM
16 years 6 months ago
2004
ACM
: This paper presents the "situation manager", a tool that includes both a language and an efficient run-time execution mechanism, aimed at reducing the complexity of act...
170
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
The emerging paradigm of electronic services promises to bring to distributed computation and services the flexibility that the web has brought to the sharing of documents. An und...