Sciweavers

2877 search results - page 174 / 576
» The Complexity of Planarity Testing
Sort
View
153
Voted
CORR
2010
Springer
151views Education» more  CORR 2010»
15 years 5 months ago
Adding a referee to an interconnection network: What can(not) be computed in one round
Abstract—In this paper we ask which properties of a distributed network can be computed from a few amount of local information provided by its nodes. The distributed model we con...
Florent Becker, Martín Matamala, Nicolas Ni...
157
Voted
JNS
2011
77views more  JNS 2011»
15 years 2 months ago
Nonlinear Dynamics of the 3D Pendulum
A 3D pendulum consists of a rigid body, supported at a fixed pivot, with three rotational degrees of freedom. The pendulum is acted on by a gravitational force. Symmetry assumptio...
Nalin A. Chaturvedi, Taeyoung Lee, Melvin Leok, N....
MICCAI
2006
Springer
16 years 1 months ago
Simultaneous Stereoscope Localization and Soft-Tissue Mapping for Minimal Invasive Surgery
Minimally Invasive Surgery (MIS) has recognized benefits of reduced patient trauma and recovery time. In practice, MIS procedures present a number of challenges due to the loss of ...
Peter Mountney, Danail Stoyanov, Andrew Davison, G...
197
Voted
ICIP
2009
IEEE
16 years 8 months ago
Classifying Urban Landscape In Aerial Lidar Using 3d Shape Analysis
The classification of urban landscape in aerial LiDAR point clouds is useful in 3D modeling and object recognition applications in urban environments. In this paper, we introduce ...
189
Voted
DAM
2007
67views more  DAM 2007»
15 years 7 months ago
The state of SAT
The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the cu...
Henry A. Kautz, Bart Selman