Sciweavers

640 search results - page 34 / 128
» Topology Without Tears
Sort
View
CCA
2005
Springer
14 years 1 months ago
A Lambda Calculus for Real Analysis
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
Paul Taylor 0002
PADS
2004
ACM
14 years 1 months ago
Space-Parallel Network Simulations Using Ghosts
We discuss an approach for creating a federated network simulation that eases the burdens on the simulator user that typically arise from more traditional methods for defining sp...
George F. Riley, Talal M. Jaafar, Richard M. Fujim...
LCN
2006
IEEE
14 years 1 months ago
ZONER: A ZONE-based Sensor Relocation Protocol for Mobile Sensor Networks
— In mobile sensor networks, self-deployment and relocation are two different research issues, both of which involve autonomous sensor movement. They share in most cases a common...
Xu Li, Nicola Santoro
ICIP
2005
IEEE
14 years 9 months ago
A variable background active contour model for automatic detection of thyroid nodules in ultrasound images
A novel active contour model named Variable Background Active Contour model is proposed and applied for the detection of thyroid nodules in ultrasound images. The new model offers ...
Michalis A. Savelonas, Dimitrios E. Maroulis, Dimi...
ICRA
2009
IEEE
173views Robotics» more  ICRA 2009»
14 years 2 months ago
The Autonomous City Explorer project
— This video presents the Autonomous City Explorer (ACE) project. Its goal was to create a robot capable of navigating unknown urban environments without the use of GPS data or p...
Andrea Maria Bauer, Klaas Klasing, Tingting Xu, St...