9702 search results - page 1582 / 1941 » Communicating Mobile Processes |
190
click to vote
ICAD
2004
15 years 8 months ago
2004
The visual and the auditory field of perception respond on different input signals from our environment. Thus, interacting with worlds solely trough sound is a very challenging ta...
148
click to vote
CASCON
2001
15 years 8 months ago
2001
A popular technique to improve the scalability of a web based system is caching at proxy servers. Caching has the drawback that a cached page becomes stale when the page is update...
161
click to vote
IJIT
2004
15 years 8 months ago
2004
In this paper we describe a computer-aided diagnosis (CAD) system for automated detection of pulmonary nodules in computed-tomography (CT) images. After extracting the pulmonary pa...
191
click to vote
IJCAI
2001
15 years 8 months ago
2001
A technique is proposed for computing the weakest sufficient (wsc) and strongest necessary (snc) conditions for formulas in an expressive fragment of first-order logic using quant...
174
click to vote
IJCAI
2001
15 years 8 months ago
2001
Previously, the plan language cc-Golog was introduced for the purpose of specifying event-driven behavior typically found in robot controllers. So far, however, cc-Golog is usable...