3456 search results - page 31 / 692 » Algorithms for Interface Synthesis |
ATVA
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...
NIME
2005
Springer
14 years 1 months ago
2005
Springer
While many new interfaces for musical expression have been presented in the past, methods to evaluate these interfaces are rare. This paper presents a method and a study comparing...
IJON
2000
2000
Synthesis approach for bidirectional associative memories based on the perceptron training algorithm
13 years 7 months ago
Bidirectional associative memories are being used extensively for solving a variety of problems related to pattern recognition. In the present paper, a new synthesis approach is d...
HCI
2009
13 years 5 months ago
2009
As the demand for domain- and formalism-specific visual modelling environments grows, the need to rapidly construct complex User Interfaces (UIs) increases. In this paper, we propo...
VLSID
2003
IEEE
14 years 28 days ago
2003
IEEE
With the emergence of the packet-switched networks as a possible system-on-chip (SoC) communication paradigm, the design of network-on-chips (NoC) has provided a challenge to the ...