5838 search results - page 1139 / 1168 » A File System for System Programming in Ubiquitous Computing |
121
click to vote
CHI
2003
ACM
16 years 3 months ago
2003
ACM
In evaluations of text entry methods, participants enter phrases of text using a technique of interest while performance data are collected. This paper describes and publishes (vi...
121
click to vote
RECOMB
2006
Springer
16 years 3 months ago
2006
Springer
The assignment of orthologous genes between a pair of genomes is a fundamental and challenging problem in comparative genomics, since many computational methods for solving various...
116
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
The web browser is a CPU-intensive program. Especially on mobile devices, webpages load too slowly, expending significant time in processing a document’s appearance. Due to powe...
133
click to vote
FOCS
2009
IEEE
15 years 9 months ago
2009
IEEE
— In a landmark paper [32], Papadimitriou introduced a number of syntactic subclasses of TFNP based on proof styles that (unlike TFNP) admit complete problems. A recent series of...
123
click to vote
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...