5699 search results - page 376 / 1140 » Alternating model trees |
181
click to vote
WSFM
2007
Springer
16 years 1 months ago
2007
Springer
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...
203
click to vote
DATE
2003
IEEE
16 years 1 months ago
2003
IEEE
Programming network processors remains an art due to the variety of different network processor architectures and due to little support to reason and explore implementations on su...
203
click to vote
DAGM
2003
Springer
16 years 28 days ago
2003
Springer
We address the question of how to choose between different likelihood functions for motion estimation. To this end, we formulate motion estimation as a problem of Bayesian inferen...
199
Voted
GI
2009
Springer
16 years 10 days ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
165
click to vote
PG
2000
IEEE
16 years 3 days ago
2000
IEEE
In this paper, we present a new paradigm that allows dynamically changing the topology of 2-manifold polygonal meshes. Our new paradigm always guarantees topological consistency o...