3456 search results - page 263 / 692 » Algorithms for Interface Synthesis |
168
click to vote
ENTCS
2008
15 years 6 months ago
2008
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
158
Voted
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Hierarchical menus are widely used as a standard user interface in modern applications that use GUIs. The performance of the menu depends on many factors: structure, layout, co...
179
click to vote
IPPS
1997
IEEE
15 years 10 months ago
1997
IEEE
In this paper, we propose three different parallel algorithms based on a state-of-the-art global router called TimberWolfSC. The parallel algorithms have been implemented by using...
154
click to vote
PPOPP
1995
ACM
15 years 10 months ago
1995
ACM
Scalable busy-wait synchronization algorithms are essential for achieving good parallel program performance on large scale multiprocessors. Such algorithms include mutual exclusio...
201
click to vote
ICPR
2006
IEEE
16 years 20 days ago
2006
IEEE
In this study, we propose an improved semi-supervised support vector machine (SVM) based translation algorithm for brain-computer interface (BCI) systems, aiming at reducing the t...