Sciweavers

4074 search results - page 399 / 815
» Abstract Graph Transformation
Sort
View
ICPR
2008
IEEE
16 years 8 months ago
Fast and precise kinematic skeleton extraction of 3D dynamic meshes
Shape skeleton extraction is a fundamental preprocessing task in shape-based pattern recognition. This paper presents a new algorithm for fast and precise extraction of kinematic ...
Jean-Philippe Vandeborre, Julien Tierny, Mohamed D...
DAC
2001
ACM
16 years 7 months ago
Circuit-based Boolean Reasoning
Many tasks in CAD, such as equivalence checking, property checking, logic synthesis, and false paths analysis require efficient Boolean reasoning for problems derived from circuit...
Andreas Kuehlmann, Malay K. Ganai, Viresh Paruthi
165
Voted
DAC
2004
ACM
16 years 7 months ago
Multiple constant multiplication by time-multiplexed mapping of addition chains
An important primitive in the hardware implementations of linear DSP transforms is a circuit that can multiply an input value by one of several different preset constants. We prop...
James C. Hoe, Markus Püschel, Peter Tummeltsh...
CSR
2009
Springer
16 years 1 months ago
Variations on Muchnik's Conditional Complexity Theorem
Muchnik’s theorem about simple conditional descriptions states that for all strings a and b there exists a short program p transforming a to b that has the least possible length ...
Daniil Musatov, Andrei E. Romashchenko, Alexander ...
SEMCO
2007
IEEE
16 years 1 months ago
Nested Named Entity Recognition in Historical Archive Text
This paper describes work on Named Entity Recognition (NER), in preparation for Relation Extraction (RE), on data from a historical archive organisation. As is often the case in t...
Kate Byrne