5227 search results - page 108 / 1046 » Enterprise modeling using class and instance models |
114
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
Physically based dynamic models are able to describe variable shapes without prior training. Their behaviour to find an object is intuitive, which facilitates corrections of false...
123
Voted
LMCS
2006
15 years 4 months ago
2006
We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be ...
138
click to vote
CP
2004
Springer
15 years 9 months ago
2004
Springer
It is well known that the ratio of the number of clauses to the number of variables in a random k-SAT instance is highly correlated with the instance’s empirical hardness. We con...
119
click to vote
LWA
2008
15 years 5 months ago
2008
Local pattern discovery, pattern set formation and global modeling may be viewed as three consecutive steps in a global modeling process. As each of these three steps have gained a...
136
Voted
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than t...