1274 search results - page 134 / 255 » New Proofs for |
80
Voted
PERCOM
2009
ACM
15 years 7 months ago
2009
ACM
This paper outlines a series of experiments looking at the annotation and subsequent analysis of skills-based learning and teaching in the domain of Nursing. The experiments used ...
91
Voted
EUROSEC
2009
ACM
15 years 7 months ago
2009
ACM
In this paper a new approach to API remoting for GPU virtualisation is described which aims to reduce the amount of trusted code involved in 3D rendering for guest VMs. To achieve...
106
click to vote
LATA
2009
Springer
15 years 7 months ago
2009
Springer
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...
96
Voted
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
For the first time, a proof of the sifting process (SP) and so the empirical mode decomposition (EMD), is given. For doing this, lower and upper envelopes are modeled in a more c...
89
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...