936 search results - page 134 / 188 » The Synthesis Problem of Netcharts |
118
Voted
CAIP
2005
Springer
15 years 9 months ago
2005
Springer
3D facial synthesis has been frequently used in model based video coding applications and became popular in various multimedia applications. In this paper a 3D face model, its adap...
104
Voted
CEEMAS
2005
Springer
15 years 9 months ago
2005
Springer
The purpose of this paper is to introduce a dialectical theory for plan synthesis based on a multi-agent approach. This approach is a promising way to devise systems based on agent...
107
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This in...
120
click to vote
FPL
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes a novel Field Programmable Gate Array (FPGA) logic synthesis technique which determines if a logic function can be implemented in a given programmable circuit...
128
click to vote
FSTTCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...