3456 search results - page 206 / 692 » Algorithms for Interface Synthesis |
CSL
2006
Springer
15 years 4 months ago
2006
Springer
We study observation-based strategies for two-player turn-based games on graphs with omega-regular objectives. An observation-based strategy relies on imperfect information about t...
110
click to vote
ISCAS
2011
IEEE
14 years 4 months ago
2011
IEEE
—We propose a multi-layer parallel decoding algorithm and VLSI architecture for decoding of structured quasi-cyclic low-density parity-check codes. In the conventional layered de...
CHI
2007
ACM
16 years 27 days ago
2007
ACM
Biological research in the field is constrained by the speed and difficulty of species determination, as well as by access to relevant information about the species encountered. H...
101
Voted
IUI
2006
ACM
15 years 6 months ago
2006
ACM
Acknowledging an interruption with a nod of the head is a natural and intuitive communication gesture which can be performed without significantly disturbing a primary interface ...
66
Voted
FROCOS
2005
Springer
15 years 6 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...