Sciweavers

1525 search results - page 191 / 305
» Matching with Regular Constraints
Sort
View
143
Voted
GLVLSI
2005
IEEE
103views VLSI» more  GLVLSI 2005»
15 years 10 months ago
Causal probabilistic input dependency learning for switching model in VLSI circuits
Switching model captures the data-driven uncertainty in logic circuits in a comprehensive probabilistic framework. Switching is a critical factor that influences dynamic, active ...
Nirmal Ramalingam, Sanjukta Bhanja
ECOOP
1993
Springer
15 years 8 months ago
A Timed Calculus for Distributed Objects with Clocks
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...
Ichiro Satoh, Mario Tokoro
96
Voted
ESANN
2007
15 years 6 months ago
Several ways to solve the MSO problem
The so called MSO-problem, – a simple superposition of two or more sinusoidal waves –, has recently been discussed as a benchmark problem for reservoir computing and was shown ...
Jochen J. Steil
155
Voted
VMV
2004
171views Visualization» more  VMV 2004»
15 years 6 months ago
Cloth Motion from Optical Flow
This paper presents an algorithm for capturing the motion of deformable surfaces, in particular textured cloth. In a calibrated multi-camera setup, the optical flow between consec...
Volker Scholz, Marcus A. Magnor
ACL
2011
14 years 8 months ago
Word Alignment via Submodular Maximization over Matroids
We cast the word alignment problem as maximizing a submodular function under matroid constraints. Our framework is able to express complex interactions between alignment component...
Hui Lin, Jeff Bilmes