4099 search results - page 491 / 820 » A Framework for Interactive Proof |
197
click to vote
ACIVS
2006
Springer
16 years 21 days ago
2006
Springer
We propose a novel active contour model by incorporating particle based electrostatic interactions into the geometric active contour framework. The proposed active contour, embedde...
172
Voted
APSEC
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
174
click to vote
ASWEC
2005
IEEE
16 years 10 days ago
2005
IEEE
As modern computing environments become more open, distributed and pervasive, the software we build for those dynamic environments will need to become more adaptable and adaptive....
199
click to vote
CEC
2005
IEEE
16 years 10 days ago
2005
IEEE
A new radii-based evolutionary algorithm (EA) designed for multimodal optimization problems is proposed. The approach can be placed within the genetic chromodynamics framework and ...
162
click to vote
ICRA
2005
IEEE
16 years 9 days ago
2005
IEEE
Abstract— In a companion paper [1], we propose a control framework for the bilateral teleoperation between a single master robot and multiple cooperative slave robots over delaye...