Sciweavers

1002 search results - page 56 / 201
» Implementing Standard Reference Models for e-learning System...
Sort
View
ISMIR
2000
Springer
157views Music» more  ISMIR 2000»
14 years 2 months ago
Using User Models in Music Information Retrieval Systems
To make multimedia data easily retrieved, we use metadata to describe the information, so that search engines or other information filter tools can effectively and efficiently loc...
Wei Chai, Barry Vercoe
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
14 years 7 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
CICLING
2005
Springer
14 years 4 months ago
A Computational Model of the Spanish Clitic System
In this paper a computational model of the Spanish clitic system is presented. In this model clitic pronouns receive a dual analysis in which enclitics are considered inflexions wh...
Luis Alberto Pineda, Ivan V. Meza
SAC
2003
ACM
14 years 4 months ago
Comparing Semantic Frameworks for Coordination: On the Conformance Issue for Coordination Media
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
Mirko Viroli
POPL
2009
ACM
14 years 5 months ago
Declarative aspects of memory management in the concurrent collections parallel programming model
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
Zoran Budimlic, Aparna Chandramowlishwaran, Kathle...