6431 search results - page 776 / 1287 » Model Building by Resolution |
160
click to vote
ENTCS
2007
15 years 6 months ago
2007
The engineering of systems that are acceptably correct is a hard problem. On the one hand, semi-formal modelling approaches that are used in practical, large-scale system developm...
163
click to vote
AROBOTS
2005
15 years 6 months ago
2005
In field environments it is not usually possible to provide robots in advance with valid geometric models of its environment and task element locations. The robot or robot teams ne...
150
click to vote
TVCG
2008
15 years 6 months ago
2008
In this paper, we deal with the problem of synthesizing novel motions of standing-up martial arts such as Kickboxing, Karate, and Taekwondo performed by a pair of humanlike charact...
167
click to vote
KES
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper presents a novel method to the analysis of human-arm motion, in particular improving the efficiency of conventional motion recognition algorithms. Contrary to...
167
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We study the simultaneous message passing model of communication complexity. Building on the quantum fingerprinting protocol of Buhrman et al., Yao recently showed that a large cl...