77016 search results - page 711 / 15404 » Modelling |
170
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
179
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
175
click to vote
CIS
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we propose a new variational decomposition model which splits an image into two components: a first one containing the structure and a second one the texture or nois...
196
click to vote
EUROMICRO
2004
IEEE
15 years 11 months ago
2004
IEEE
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
238
click to vote
CLOR
2006
15 years 11 months ago
2006
We present a "parts and structure" model for object category recognition that can be learnt efficiently and in a weakly-supervised manner: the model is learnt from examp...