3575 search results - page 12 / 715 » Presentations of computably enumerable reals |
159
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Computer games played over the Internet have recently become an important class of distributed applications. In this paper we present a novel proxy server-network topolog...
188
click to vote
AAAI
2006
15 years 7 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
122
click to vote
ISSAC
1994
Springer
15 years 9 months ago
1994
Springer
In this paper, we describe an algorithm to compute arbitrary stationary multiple-point formulas. We report its full implementation in Maple and show some examples matching formula...
126
click to vote
COR
2006
15 years 5 months ago
2006
This paper presents an algorithm for generating unconstrained guillotine-cutting patterns for rectangular blanks. A pattern includes at most two sections, each of which consists o...
157
click to vote
CA
1995
IEEE
15 years 9 months ago
1995
IEEE
This paper presents techniques and tools for creating and animating virtual actors in real scenes. Several problems are explained: real objects hidden by virtual actors and virtua...