3456 search results - page 223 / 692 » Algorithms for Interface Synthesis |
115
Voted
CHI
1994
ACM
15 years 4 months ago
1994
ACM
ToolglassTM widgets are new user interface tools that can appear, as though on a transparent sheet of glass, between an application and a traditional cursor. They can be positione...
116
Voted
JISBD
2000
15 years 1 months ago
2000
A Natural Language Interface for Databases allows users of multimedia kiosks to formulate natural language questions. User questions are first translated into a logic language and ...
108
click to vote
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
In this paper we present an algorithm for converting a BDD representation of a logic function into a multiple-level netlist of disjoint-support subfunctions. On the theoretical si...
105
Voted
CLIMA
2010
15 years 2 months ago
2010
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
117
click to vote
FORTE
2007
15 years 2 months ago
2007
This paper proposes an algorithm which, given a set of observations of an existing concurrent system that has repetitive subfunctions, constructs a Message Sequence Charts (MSC) gr...