376 search results - page 34 / 76 » Developing Theories of Types and Computability via Realizabi... |
ISMIR
2001
Springer
14 years 1 days ago
2001
Springer
Among other factors, high complexity and mandatory expert computer knowledge make many music IR and music analysis systems unsuitable for the majority of largely computer-illitera...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
We introduce a shape descriptor that is based on the Symmetry Set. This set represents pairwise symmetric points and consists of several branches. The begin and end points of the ...
JIPS
2010
13 years 2 months ago
2010
In order to provide a tailored education for learners within the ubiquitous environment, it is critical to undertake an analysis of the learning activities of learners. For this pu...
STORYTELLING
2005
Springer
14 years 1 months ago
2005
Springer
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
—Cloud Computing has great potential of providing robust computational power to the society at reduced cost. It enables customers with limited computational resources to outsourc...