2488 search results - page 374 / 498 » An improvement in formal verification |
158
click to vote
CSCW
2011
ACM
14 years 8 months ago
2011
ACM
The performance of a collaborative system depends on how two mandatory collaborative tasks, processing and transmission of user commands, are scheduled. We have developed multiple...
133
click to vote
TKDE
2012
13 years 4 months ago
2012
—Many data mining techniques have been proposed for mining useful patterns in text documents. However, how to effectively use and update discovered patterns is still an open rese...
ICML
2009
IEEE
16 years 2 months ago
2009
IEEE
The purpose of this paper is three-fold. First, we formalize and study a problem of learning probabilistic concepts in the recently proposed KWIK framework. We give details of an ...
CHI
2009
ACM
16 years 2 months ago
2009
ACM
We explore the use of multi-finger input to emulate full mouse functionality, such as the tracking state, three buttons, and chording. We first present the design space for such t...
198
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...