3456 search results - page 90 / 692 » Algorithms for Interface Synthesis |
118
click to vote
ACSD
2007
IEEE
15 years 7 months ago
2007
IEEE
Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
— This paper introduces the concept of kl-feasible cuts, by controlling both the number k of inputs and the number l of outputs in a circuit cut. To provide scalability, the conc...
AIPS
2003
15 years 2 months ago
2003
We develop a hierarchical approach to planning for partially observable Markov decision processes (POMDPs) in which a policy is represented as a hierarchical finite-state control...
VIP
2001
15 years 2 months ago
2001
This paper is about implementing and analysing a strategy of generating the intermediate views of a scene from a pair of images taken from different position and orientation. In p...
113
click to vote
CGF
2008
15 years 1 months ago
2008
Existing solid texture synthesis algorithms generate a full volume of color content from a set of 2D example images. We introduce a new algorithm with the unique ability to restri...