Sciweavers

2414 search results - page 90 / 483
» Reasoning Support for OWL-E
Sort
View
IWPC
2007
IEEE
14 years 4 months ago
Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
Shaohua Xie, Eileen Kraemer, R. E. Kurt Stirewalt
WMTE
2005
IEEE
14 years 3 months ago
Supporting Activity Awareness for Teams-Games-Tournaments with GSM Network
The Internet can be used to promote collaborative learning among students. However, since the web-based collaborative learning environment relies entirely on the availability of c...
Chen-Chung Liu, Shu-Yuan Tao, Jinu-Ning Nee, Baw-J...
AIME
2005
Springer
14 years 3 months ago
Interactive Knowledge Validation in CBR for Decision Support in Medicine
Abstract. In most case-based reasoning (CBR) systems there has been little research done on validating new knowledge, specifically on how previous knowledge differs from current k...
Monica H. Ou, Geoff A. W. West, Mihai Lazarescu, C...
AOSD
2004
ACM
14 years 3 months ago
Virtual machine support for dynamic join points
A widespread implementation approach for the join point mechanism of aspect-oriented languages is to instrument areas in code that match the static part of pointcut designators, i...
Christoph Bockisch, Michael Haupt, Mira Mezini, Kl...
CINQ
2004
Springer
131views Database» more  CINQ 2004»
14 years 3 months ago
Model-Independent Bounding of the Supports of Boolean Formulae in Binary Data
Abstract. Data mining algorithms such as the Apriori method for finding frequent sets in sparse binary data can be used for efficient computation of a large number of summaries fr...
Artur Bykowski, Jouni K. Seppänen, Jaakko Hol...