5550 search results - page 348 / 1110 » Different Approaches to Proof Systems |
190
click to vote
IS
2002
15 years 6 months ago
2002
Previous research in real-time concurrency control mainly focuses on the schedulability guarantee of hard real-time transactions and the reducing of the miss rate of soft real-tim...
189
click to vote
CGF
2006
15 years 6 months ago
2006
Image-based representations of an object profit from known geometry. The more accurate this geometry is known, the better corresponding pixels in the different images can be align...
206
click to vote
CODASPY
2012
14 years 2 months ago
2012
Main stream operating system kernels lack a strong and reliable mechanism for identifying the running processes and binding them to the corresponding executable applications. In t...
161
Voted
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Several research groups have grappled with the problem of characterizing and developing practical approaches for implementing adjustable autonomy and mixed-initiative int...
206
click to vote
EMNLP
2004
15 years 8 months ago
2004
We compare and contrast two different models for detecting sentence-like units in continuous speech. The first approach uses hidden Markov sequence models based on N-grams and max...