4460 search results - page 597 / 892 » Formal methods for interactive systems |
176
click to vote
OOPSLA
2004
Springer
15 years 12 months ago
2004
Springer
Middleware provides simplicity and uniformity for the development of distributed applications. However, the modularity of the architecture of middleware is starting to disintegrat...
192
click to vote
BIBM
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper addresses the protein classification problem, and explores how its accuracy can be improved by using information from time-course gene expression data. The methods are ...
181
click to vote
ICTIR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. An open challenge in information distillation is the evaluation and optimization of the utility of ranked lists with respect to flexible user interactions over multiple ...
186
click to vote
ACAL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We explore a new definition of creativity -- one which emphasizes the statistical capacity of a system to generate previously unseen patterns -- and discuss motivations f...
189
click to vote
ACMACE
2007
ACM
15 years 10 months ago
2007
ACM
We propose an infotainment presentation system that relies on eye gaze as an intuitive and unobtrusive input modality. The system analyzes eye movements in real-time to infer user...