267 search results - page 27 / 54 » Constructing Test Suites for Interaction Testing |
CHI
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we introduce K-Menu, a keyword-based dynamic menu interface. When a user enters a keyword, a menu with items related to the keyword is constructed dynamically and p...
100
click to vote
XSYM
2005
Springer
15 years 3 months ago
2005
Springer
XQuery is a feature-rich language with complex semantics. This makes it hard to come up with a benchmark suite which covers all performance-critical features of the language, and a...
ICAISC
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Multigame playing agents are programs capable of autonomously learning to play new, previously unknown games. In this paper, we concentrate on the General Game Playing Co...
103
click to vote
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper we use doubly stochastic matrices to establish a link between Birkhoff polytopes and heat kernels on graphs. Based on this analysis we construct a multi-dimensional ...
JAR
2008
14 years 9 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...