3161 search results - page 236 / 633 » A Discourse on Complexity of Process Models |
115
click to vote
UAI
2008
15 years 5 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
151
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
157
Voted
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
In this paper, we present a novel active contour model, in which the traditional gradient descent optimization is replaced by graph cut optimization. The basic idea is to first de...
140
Voted
ICIP
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper we propose a compressed-domain image enhancement algorithm based on color appearance modeling. We aim at providing an efficient high-quality JPEG color image enhancem...
135
click to vote
ICDM
2007
IEEE
15 years 10 months ago
2007
IEEE
The convergence of embedded sensor systems and stream query processing suggests an important role for database techniques, in managing data that only partially – and often inacc...