3228 search results - page 482 / 646 » Computationally Sound Proofs |
121
click to vote
DLOG
2008
15 years 5 months ago
2008
We identify the complexity of (finite model) reasoning in the DL SROIQ to be N2ExpTime-complete. We also prove that (finite model) reasoning in the DL SR--a fragment of SROIQ witho...
116
click to vote
ASSETS
2008
ACM
15 years 5 months ago
2008
ACM
The Flote is a wind instrument designed for people with limited mobility. Past work in this area has failed to deliver the musical expressiveness expected of an instrument while m...
174
click to vote
DIMEA
2008
15 years 5 months ago
2008
3D virtual environments are increasingly used for education, business and recreation but are often inaccessible to users who are visually impaired, effectively creating a digital ...
197
click to vote
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. A major challenge in computer-generated music is to produce music that sounds natural. This paper introduces NEAT Drummer, which takes steps toward natural creativity. NE...
112
click to vote
BILDMED
2007
15 years 4 months ago
2007
Abstract. In the last decades there has been tremendous research towards the design of fully automatic non-rigid registration schemes. However, apart from the ITK based implementat...