11436 search results - page 402 / 2288 » Modeling Real Reasoning |
133
click to vote
JSSPP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In order to evaluate different scheduling strategies for parallel computers, simulations are often executed. As the scheduling quality highly depends on the workload tha...
124
click to vote
PERCOM
2004
ACM
16 years 4 months ago
2004
ACM
Context-aware computing systems demand an accurate and up-to-date world model which computationally represents the environment they oversee. Systems to date tend to have small-sca...
137
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
137
click to vote
NIPS
2007
15 years 6 months ago
2007
The present work aims to model the correspondence between facial motion and speech. The face and sound are modelled separately, with phonemes being the link between both. We propo...
154
click to vote
WCNC
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper, we present our study of extracting a mobility model for vehicular ad hoc networks (VANETs) from a large amount of real taxi GPS trace data. In order to capture char...