Sciweavers

1508 search results - page 245 / 302
» A Toolbox of Level Set Methods
Sort
View
SIGGRAPH
2010
ACM
15 years 2 months ago
Discrete scale axis representations for 3D geometry
This paper addresses the fundamental problem of computing stable medial representations of 3D shapes. We propose a spatially adaptive classification of geometric features that yi...
Balint Miklos, Joachim Giesen, Mark Pauly
RTCSA
1999
IEEE
15 years 2 months ago
Bandwidth Reservation for Real Time Traffic in Wireless Mobile Environment
This study proposes a new bandwidth reservation strategy (Two Level Guarantee) in wireless environment based on the user mobility specification which is assumed to be given at cal...
Byung-Kyu Choi, Riccardo Bettati
TPHOL
1999
IEEE
15 years 2 months ago
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
Markus Wenzel
ICCAD
1997
IEEE
144views Hardware» more  ICCAD 1997»
15 years 2 months ago
Partial scan delay fault testing of asynchronous circuits
Asynchronous circuits operate correctly only under timing assumptions. Hence testing those circuits for delay faults is crucial. This paper describes a three-step method to detect...
Michael Kishinevsky, Alex Kondratyev, Luciano Lava...
ICPR
2010
IEEE
15 years 1 months ago
Perceived Age Estimation under Lighting Condition Change by Covariate Shift Adaptation
—Over the recent years, a great deal of effort has been made to age estimation from face images. It has been reported that age can be accurately estimated under controlled enviro...
Kazuya Ueki, Masashi Sugiyama, Yasuyuki Ihara