1757 search results - page 160 / 352 » Integrating and Extending JCSP |
142
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
– The limited power, low radio range, and an ever changing environment make the ability to explicitly communicate between multi-robots decreases in a searching task. When this ha...
126
click to vote
ISM
2006
IEEE
15 years 10 months ago
2006
IEEE
Given a large social or computer network, how can we visualize it, find patterns, outliers, communities? Although several graph visualization tools exist, they cannot handle larg...
129
click to vote
CHINZ
2006
ACM
15 years 10 months ago
2006
ACM
Ink annotation is a common method for recording feedback on a paper document. However, reviewing code on paper is difficult due to its non-linear nature. This project extends exis...
133
click to vote
SMA
2006
ACM
15 years 10 months ago
2006
ACM
Segmenting meshes into natural regions is useful for model understanding
and many practical applications. In this paper, we present
a novel, automatic algorithm for segmenting me...
137
click to vote
CSFW
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...