Sciweavers

2125 search results - page 233 / 425
» Points with Type-2 Operations
Sort
View
139
Voted
ISER
1989
Springer
143views Robotics» more  ISER 1989»
15 years 8 months ago
Experimental Simulation of Manipulator Base Compliance
Many future applications of robotic systems will require manipulators to operate from moving vehicles. Such vehicles will be compliant in comparison to the rigid bases on which mo...
Harry West, Norbert Hootsmans, Steven Dubowsky, Na...
168
Voted
ALGOSENSORS
2007
Springer
15 years 8 months ago
Efficient Sensor Network Design for Continuous Monitoring of Moving Objects
We study the problem of localizing and tracking multiple moving targets in wireless sensor networks, from a network design perspective i.e. towards estimating the least possible n...
Sotiris E. Nikoletseas, Paul G. Spirakis
126
Voted
CISIM
2007
IEEE
15 years 8 months ago
Semi-Automatic Segmentation of Fibrous Liver Tissue
This article presents a semi-automatic segmentation of the fibrous liver tissue in the in-vivo liver biopsy color images. The segmentation is performed using a tree-based classifi...
P. Andruszkiewicz, C. Boldak, J. Jaroszewicz
PODC
2010
ACM
15 years 8 months ago
Verifying linearizability with hindsight
We present a proof of safety and linearizability of a highlyconcurrent optimistic set algorithm. The key step in our proof is the Hindsight Lemma, which allows a thread to infer t...
Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev,...
APNOMS
2006
Springer
15 years 8 months ago
Experiences in End-to-End Performance Monitoring on KOREN
As the network technology has been developed, the Next Generation Internet (NGI) such as Internet2, KOREN, KREONET2 and etc has been deployed to support bandwidth of Giga bps. And,...
Wang-Cheol Song, Deok-Jae Choi