Sciweavers

1078 search results - page 191 / 216
» Modelling and Verifying of e-Commerce Systems
Sort
View
CGI
2006
IEEE
15 years 8 months ago
A Video-Driven Approach to Continuous Human Motion Synthesis
We propose a framework to reconstruct human motion based on monocular camera video and motion database. In this framework, we use silhouettes for rough motion estimation based on a...
Rongrong Wang, Xianjie Qiu, Zhaoqi Wang, Shihong X...
ICMCS
2005
IEEE
106views Multimedia» more  ICMCS 2005»
15 years 7 months ago
Adaptive Live Streaming Over Enterprise Networks
In this paper we present multimedia adaptation strategies for live video streams, at the streaming server, where we switch among several versions of the coded multimedia to match ...
Deepak S. Turaga, Ahmed Abd El Al, Chitra Venkatra...
ICRA
2005
IEEE
186views Robotics» more  ICRA 2005»
15 years 7 months ago
Experimental Studies of a Neural Oscillator for Biped Locomotion with QRIO
— Recently, there has been a growing interest in biologically inspired biped locomotion control with Central Pattern Generator (CPG). However, few experimental attempts on real h...
Gen Endo, Jun Nakanishi, Jun Morimoto, Gordon Chen...
GECCO
2003
Springer
15 years 7 months ago
On Role of Implicit Interaction and Explicit Communications in Emergence of Social Behavior in Continuous Predators-Prey Pursuit
We present the result of our work on use of genetic programming for evolving social behavior of agents situated in inherently cooperative environment. We use predators-prey pursuit...
Ivan Tanev, Katsunori Shimohara
PADL
2001
Springer
15 years 6 months ago
Specifying Authentication Protocols Using Rewriting and Strategies
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
Horatiu Cirstea