5205 search results - page 661 / 1041 » Tilings and model theory |
179
Voted
QEST
2005
IEEE
16 years 13 days ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
162
Voted
ITICSE
2005
ACM
16 years 13 days ago
2005
ACM
This paper describes research on the perception of undergraduate students of the concept of reduction. Specifically, based on an analysis of students' answers to questions ad...
170
click to vote
IUI
2005
ACM
16 years 13 days ago
2005
ACM
SemanticTalk is a tool for supporting face-to-face meetings and discussions by automatically generating a semantic context from spoken conversations. We use speech recognition and...
165
Voted
SIGECOM
2005
ACM
16 years 13 days ago
2005
ACM
A set of jobs need to be served by a single server which can serve only one job at a time. Jobs have processing times and incur waiting costs (linear in their waiting time). The j...
129
click to vote
SIGIR
2005
ACM
16 years 13 days ago
2005
ACM
We propose a simple method for converting many standard measures of retrieval performance into metasearch algorithms. Our focus is both on the analysis of retrieval measures thems...