16626 search results - page 2941 / 3326 » Computing is a natural science |
246
click to vote
MVA
2008
15 years 7 months ago
2008
This paper presents a new graph cut-based multiple active contour algorithm to detect optimal boundaries and regions in images without initial contours and seed points. The task of...
199
click to vote
LOGCOM
2006
15 years 7 months ago
2006
The Alternating-time Temporal Logic (ATL) of Alur, Henzinger, and Kupferman is being increasingly widely applied in the specification and verification of open distributed systems ...
167
click to vote
LRE
2006
15 years 7 months ago
2006
Only very recently have Vietnamese researchers begun to be involved in the domain of Natural Language Processing (NLP). As there does not exist any published work in formal linguis...
181
click to vote
MAGS
2006
15 years 7 months ago
2006
In this paper, a novel protocol for providing both client and server anonymity in peer-to-peer (P2P) based grids is presented. The protocol assumes individual nodes or users to be...
188
click to vote
MCS
2006
Springer
15 years 7 months ago
2006
Springer
We investigate the amount of cooperation between agents in a population during reward collection that is required to minimize the overall collection time. In our computer simulati...