4306 search results - page 574 / 862 » Timed Testing with TorX |
127
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
Listening to music on personal, digital devices while mobile is an enjoyable, everyday activity. We explore a scheme for exploiting this practice to immerse listeners in navigatio...
119
click to vote
VLSID
2003
IEEE
16 years 4 months ago
2003
IEEE
Functional decomposition is a process of splitting a complex circuit into smaller sub-circuits. This paper deals with the problem of determining the set of best free and bound var...
127
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
Context photography consists of capturing context when taking a picture, by sensing physical input in addition to light and representing it visually in real time. By developing th...
145
click to vote
RECOMB
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. We present a fast converging method for distance-based phylogenetic inference, which is novel in two respects. First, it is the only method (to our knowledge) to guarante...
135
click to vote
CADE
2008
Springer
16 years 4 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...