1169 search results - page 91 / 234 » Two Ways to Common Knowledge |
INTERSPEECH
2010
14 years 4 months ago
2010
In large vocabulary continuous speech recognition, decision trees are widely used to cluster triphone states. In addition to commonly used phonetically based questions, others hav...
156
click to vote
ESOP
2011
Springer
14 years 1 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
CAS
2004
14 years 9 months ago
2004
Accounting for human activity through physics does not require anything more than a switch of mind. Objectivity needs first to be recognized as an epistemological principle that s...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
The most common technique for resizing 3D objects in virtual environments is the use of 3D widgets. However, such techniques often exhibit usability problems due to difficulties i...
COCOON
2005
Springer
15 years 3 months ago
2005
Springer
This paper gives a quantum algorithm to search in an set S for a k-tuple satisfying some predefined relation, with the promise that some components of a desired k-tuple are in som...