4099 search results - page 491 / 820 » A Framework for Interactive Proof |
221
click to vote
ACIVS
2006
Springer
16 years 1 months 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...
200
Voted
APSEC
2005
IEEE
16 years 1 months 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...
192
Voted
ASWEC
2005
IEEE
16 years 1 months 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....
226
Voted
CEC
2005
IEEE
16 years 1 months 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 ...
181
Voted
ICRA
2005
IEEE
16 years 1 months 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...