1763 search results - page 192 / 353 » A Formalization of Polytime Functions |
106
Voted
ICML
2005
IEEE
16 years 2 months ago
2005
IEEE
MDPs are an attractive formalization for planning, but realistic problems often have intractably large state spaces. When we only need a partial policy to get from a fixed start s...
85
Voted
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...
CAV
2009
Springer
16 years 2 months ago
2009
Springer
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
125
Voted
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
101
Voted
RECOMB
2005
Springer
16 years 2 months ago
2005
Springer
Abstract. There is widespread interest in comparative genomics in determining if historically and/or functionally related genes are spatially clustered in the genome, and whether t...