698 search results - page 74 / 140 » Fast functional simulation using branching programs |
119
click to vote
CDC
2010
IEEE
14 years 8 months ago
2010
IEEE
Most existing work uses dual decomposition and subgradient methods to solve Network Utility Maximization (NUM) problems in a distributed manner, which suffer from slow rate of con...
BC
2004
15 years 1 months ago
2004
Different kinds of articulators, such as the upper and lower lips, jaw, and tongue, are precisely coordinated in speech production. Based on a perturbation study of the production ...
80
Voted
ISMAR
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we describe the Augmented Reality (AR) authoring system "PowerSpace" which allows fast and comfortable generation of AR worlds. The system presented uses t...
120
Voted
IPMI
2007
Springer
16 years 2 months ago
2007
Springer
In this paper we propose a novel non-rigid volume registration based on discrete labeling and linear programming. The proposed framework reformulates registration as a minimal path...
110
click to vote
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...