Sciweavers

4488 search results - page 626 / 898
» Properties of NP-Complete Sets
Sort
View
181
Voted
CVPR
2010
IEEE
16 years 3 months ago
Dynamical Binary Latent Variable Models for 3D Human Pose Tracking
We introduce a new class of probabilistic latent variable model called the Implicit Mixture of Conditional Restricted Boltzmann Machines (imCRBM) for use in human pose tracking. K...
Graham Taylor, Leonid Sigal, David Fleet, Geoffrey...
LATIN
2010
Springer
16 years 1 months ago
The Language Theory of Bounded Context-Switching
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
Salvatore La Torre, Parthasarathy Madhusudan, Genn...
WEA
2010
Springer
330views Algorithms» more  WEA 2010»
16 years 1 months ago
Exact Bipartite Crossing Minimization under Tree Constraints
A tanglegram consists of a pair of (not necessarily binary) trees T1, T2 with leaf sets L1, L2. Additional edges, called tangles, may connect nodes in L1 with those in L2. The task...
Frank Baumann, Christoph Buchheim, Frauke Liers
ACSD
2009
IEEE
118views Hardware» more  ACSD 2009»
16 years 1 months ago
Verifying Deadlock- and Livelock Freedom in an SOA Scenario
In a service-oriented architecture (SOA), a service broker assigns a previously published service (stored in a service registry) to a service requester. It is desirable for the co...
Karsten Wolf, Christian Stahl, Janine Ott, Robert ...
206
Voted
ASWEC
2009
IEEE
16 years 1 months ago
Scalable Emulation of Enterprise Systems
Testing enterprise software that communicates with a large number of other software systems is a challenging task as it is often difficult to replicate the size and heterogeneity...
Cameron Hine, Jean-Guy Schneider, Jun Han, Steven ...