Sciweavers

2521 search results - page 444 / 505
» Semantic Component Composition
Sort
View
JMLR
2010
102views more  JMLR 2010»
13 years 4 months ago
Visualization of Online Discussion Forums
This paper describes a set of visualization tools which aid the understanding of discussion topics and trends in online discussion forums. The tools integrate into the forum'...
Mitja Trampus, Marko Grobelnik
AIED
2011
Springer
13 years 1 months ago
SMART: Speech-enabled Mobile Assisted Reading Technology for Word Comprehension
In this study, we designed and developed two educational games on mobile phones with support for speech-recognition to examine and train the cognitive underpinnings of word reading...
Anuj Kumar, Pooja Reddy, Matthew Kam
PLDI
2010
ACM
14 years 3 months ago
Line-up: a complete and automatic linearizability checker
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
Sebastian Burckhardt, Chris Dern, Madanlal Musuvat...
DATE
1999
IEEE
120views Hardware» more  DATE 1999»
14 years 2 months ago
Hardware Synthesis from C/C++ Models
Software programming languages, such as C/C++, have been used as means for specifying hardware for quite a while. Different design methodologies have exploited the advantages of f...
Giovanni De Micheli
BSL
2006
114views more  BSL 2006»
13 years 10 months ago
Schemata: The Concept of Schema in the History of Logic
Schemata have played important roles in logic since Aristotle's Prior Analytics. The syllogistic figures and moods can be taken to be argument schemata as can the rules of the...
John Corcoran