3228 search results - page 439 / 646 » Computationally Sound Proofs |
108
Voted
PERCOM
2009
ACM
15 years 10 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 ...
174
Voted
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper introduces scale transforms to measure rhythmic similarity between two musical pieces. The rhythm of a piece of music is described by the scale transform magnitude, com...
122
Voted
WMCSA
2009
IEEE
15 years 10 months ago
2009
IEEE
There is an inherent tension between the value provided by Location-Based Services (LBSs) and the location-privacy concerns they raise. Unfortunately, users are often forced to ei...
143
Voted
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
110
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...