14386 search results - page 322 / 2878 » Algorithms for user interfaces |
170
click to vote
UIST
2005
ACM
16 years 6 days ago
2005
ACM
We introduce PlayAnywhere, a front-projected computer vision-based interactive table system which uses a new commercially available projection technology to obtain a compact, self...
189
click to vote
APSCC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Mashup tools are becoming increasingly important enabling users to compose services and processes on the Web. Most existing tools focus on Web-based interfaces, usability, and v...
168
click to vote
TACAS
2004
Springer
16 years 8 hour ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
151
click to vote
TACAS
2004
Springer
16 years 8 hour ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
189
click to vote
HPDC
2008
IEEE
16 years 1 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...