Sciweavers

159 search results - page 26 / 32
» Experiences in the land of virtual abstractions
Sort
View
CMMR
2004
Springer
168views Music» more  CMMR 2004»
15 years 2 months ago
Internet Archive of Electronic Music IAEM - internet Audio Rendering System iARS
Abstract. The Internet Archive for Electronic Music (IAEM) is intended to be a platform to access an extensive and distributed archive of electronic music. It combines collaborativ...
Christopher Frauenberger, Winfried Ritsch
KBSE
2000
IEEE
15 years 1 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
ACSE
2000
ACM
15 years 1 months ago
Here, there and everywhere - on the recurring use of turtle graphics in CS1
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...
Michael E. Caspersen, Henrik Bærbak Christen...
DASFAA
2010
IEEE
129views Database» more  DASFAA 2010»
15 years 1 months ago
Efficient Approximate Visibility Query in Large Dynamic Environments
Abstract. Visibility query is fundamental to many analysis and decisionmaking tasks in virtual environments. Visibility computation is time complex and the complexity escalates in ...
Leyla Kazemi, Farnoush Banaei Kashani, Cyrus Shaha...
ASWC
2006
Springer
15 years 1 months ago
Partition-Based Block Matching of Large Class Hierarchies
Abstract. Ontology matching is a crucial task of enabling interoperation between Web applications using different but related ontologies. Due to the size and the monolithic nature,...
Wei Hu, Yuanyuan Zhao, Yuzhong Qu