6047 search results - page 167 / 1210 » Modeling with Extend |
114
click to vote
FMCO
2006
Springer
15 years 5 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
118
click to vote
AAAI
2006
15 years 3 months ago
2006
The ability to update the structure of a Bayesian network when new data becomes available is crucial for building adaptive systems. Recent work by Sang, Beame, and Kautz (AAAI 200...
140
click to vote
KRDB
1996
15 years 3 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
124
click to vote
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
We consider a visual scene analysis scenario where objects (e.g. people, cars) pass through the viewing field of a static camera and need to be detected and segmented from the bac...
116
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...