1134 search results - page 68 / 227 » Using Constraints with Action Language for Model Evolution |
265
click to vote
CP
2009
Springer
16 years 6 months ago
2009
Springer
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
184
click to vote
AGTIVE
2007
Springer
16 years 11 days ago
2007
Springer
Abstract. Business process models describe workflows by a set of actions together with their ordering. When implementing business processes within a service-oriented architecture,...
155
click to vote
DNA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Motivated by recent techniques developed for observing evolutionary dynamics of a single DNA molecule, we introduce a formal model for accepting an observed behavior of a...
150
click to vote
ICRA
1995
IEEE
15 years 9 months ago
1995
IEEE
A generic architecture for evolutive supervision of robotized assembly tasks is presented. This architecture , at different levels of abstraction, functions for dispatching action...
184
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Graphical models such as Bayesian Networks (BNs) are being increasingly applied to various computer vision problems. One bottleneck in using BN is that learning the BN model param...