1999 search results - page 326 / 400 » Finding Reductions Automatically |
JVCA
2007
14 years 11 months ago
2007
In this paper, we present an example-based motion synthesis technique. Users can interactively control the virtual character to perform desired actions in any order. The desired a...
EATCS
2000
14 years 11 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
CN
1998
14 years 11 months ago
1998
The Twenty-One project brings together environmental organisations, technology providers and research institutes from several European countries. The main objective of the project...
APIN
1999
14 years 11 months ago
1999
We present a method for mapping a given Bayesian network to a Boltzmann machine architecture, in the sense that the the updating process of the resulting Boltzmann machine model pr...
JECR
2002
14 years 11 months ago
2002
An in-depth understanding of human factors in web-based interaction requires a methodology which enables researchers to chart online actions, understand the cognitive processes gu...