5022 search results - page 352 / 1005 » Data structures and problem solving using Java |
123
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
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...
126
Voted
TCAD
2008
15 years 3 months ago
2008
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
180
Voted
3DPVT
2006
IEEE
15 years 5 months ago
2006
IEEE
3D scanning techniques based on structured light usually achieve robustness against outliers by performing multiple projections to simplify correspondence. However, for cases such...
159
Voted
BIBM
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract--Medical image segmentation has become an essential technique in clinical and research-oriented applications. Because manual segmentation methods are tedious, and fully au...
145
Voted
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
In this paper we propose a new method for the simultaneous segmentation and 3D reconstruction of interest point based articulated motion. We decompose a set of point tracks into r...