2446 search results - page 359 / 490 » First Smart Spaces |
178
Voted
IJCV
2008
15 years 3 months ago
2008
This paper describes two algorithms for the real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/contr...
138
click to vote
IJNSEC
2008
15 years 3 months ago
2008
Elliptic Curve Cryptography (ECC) is a promising alternative for public-key algorithms in resource-constrained systems because it provides a similar level of security with much sh...
134
click to vote
IJAIT
2006
15 years 3 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
135
click to vote
ISCI
2008
15 years 3 months ago
2008
Automatic software testing tools are still far from ideal for real world object-oriented (OO) software. The use of nature inspired search algorithms for this problem has been inve...
158
Voted
IJCV
2006
15 years 3 months ago
2006
In this paper, we make two contributions to the field of level set based image segmentation. Firstly, we propose shape dissimilarity measures on the space of level set functions wh...