2748 search results - page 242 / 550 » Modelling Fuzzy Sets Using Object-Oriented Techniques |
339
Voted
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Markov random field (MRF, CRF) models are popular in
computer vision. However, in order to be computationally
tractable they are limited to incorporate only local interactions
a...
169
click to vote
CAV
2005
Springer
15 years 11 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
140
click to vote
APCCM
2006
15 years 7 months ago
2006
Current enterprise systems rely heavily on the modelling and enactment of business processes. One of the key criteria for a business process is to represent not just the behaviour...
175
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
164
click to vote
PAMI
2002
15 years 5 months ago
2002
Factorization algorithms for recovering structure and motion from an image stream have many advantages, but they usually require a set of well tracked features. Such a set is in g...