1999 search results - page 326 / 400 » Finding Reductions Automatically |
109
click to vote
JVCA
2007
15 years 1 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...
115
click to vote
EATCS
2000
15 years 1 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...
112
click to vote
CN
1998
15 years 1 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
15 years 1 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
15 years 1 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...