Sciweavers

2877 search results - page 174 / 576
» The Complexity of Planarity Testing
Sort
View
CORR
2010
Springer
151views Education» more  CORR 2010»
15 years 3 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...
96
Voted
JNS
2011
77views more  JNS 2011»
14 years 11 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
15 years 10 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...
ICIP
2009
IEEE
16 years 5 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 ...
DAM
2007
67views more  DAM 2007»
15 years 4 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