5550 search results - page 393 / 1110 » Different Approaches to Proof Systems |
190
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
Agent technology is a good approach for solving a number of problems concerned with personalized learning. In personal learning contexts individual students are given an environme...
183
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
Multilingual speech recognition obviously involves numerous research challenges, including common phoneme sets, adaptation on limited amount of training data, as well as mixed lan...
196
click to vote
TC
2010
15 years 1 months ago
2010
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...
186
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--The aim of this paper is to present a decision support system model with two important characteristic: 1) mobile technologies are applied in the decision process and 2) t...
175
click to vote
ECRTS
2003
IEEE
16 years 5 days ago
2003
IEEE
When executing different real-time applications on a single processor system, one problem is how to compose these applications and guarantee at the same time that their timing req...