Sciweavers

4325 search results - page 255 / 865
» Incremental computation with names
Sort
View
IPPS
2006
IEEE
16 years 20 days ago
Monitoring remotely executing shared memory programs in software DSMs
Peer-to-Peer (P2P) cycle sharing over the Internet has become increasingly popular as a way to share idle cycles. A fundamental problem faced by P2P cycle sharing systems is how t...
Long Fei, Xing Fang, Y. Charlie Hu, Samuel P. Midk...
BIRTHDAY
2003
Springer
15 years 12 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...

Publication
3263views
17 years 5 months ago
Active Contours Without Edges and Image Segmentation
This report will consider one recent method of solving the image segmentation problem, namely, the Active Contour Without Edges method. This method utilizes the level set techniq...
Ryo Takei
UM
2007
Springer
16 years 22 days ago
Mobile Opportunistic Planning: Methods and Models
Abstract. We present a study exploring the promise of developing computational systems to support the discovery and execution of opportunistic activities in mobile settings. We int...
Eric Horvitz, Paul Koch, Muru Subramani
ESA
2005
Springer
111views Algorithms» more  ESA 2005»
16 years 5 days ago
Delineating Boundaries for Imprecise Regions
In geographic information retrieval users use names of geographic regions that do not have a well-defined boundary, like Southern France. We present two approaches to compute rea...
Iris Reinbacher, Marc Benkert, Marc J. van Kreveld...