1274 search results - page 134 / 255 » New Proofs for |
134
Voted
PERCOM
2009
ACM
16 years 19 days 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 ...
145
click to vote
EUROSEC
2009
ACM
16 years 19 days 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...
168
click to vote
LATA
2009
Springer
16 years 18 days 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...
152
click to vote
ICASSP
2009
IEEE
16 years 17 days 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...
158
click to vote
CONCUR
2009
Springer
16 years 12 days 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...