Sciweavers

8008 search results - page 158 / 1602
» Computer-Aided Language Processing
Sort
View
114
Voted
OTM
2004
Springer
15 years 7 months ago
Domain Ontology as a Resource Providing Adaptivity in eLearning
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ļ¬...
Galia Angelova, Ognian Kalaydjiev, Albena Strupcha...
DAC
2003
ACM
15 years 7 months ago
A timing-accurate modeling and simulation environment for networked embedded systems
The design of state-of-the-art, complex embedded systems requires the capability of modeling and simulating the complex networked environment in which such systems operate. This i...
Franco Fummi, Giovanni Perbellini, Paolo Gallo, Ma...
128
Voted
CHARME
2003
Springer
196views Hardware» more  CHARME 2003»
15 years 7 months ago
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
SIGGRAPH
2000
ACM
15 years 6 months ago
Escherization
This paper introduces and presents a solution to the ā€œEscherizationā€ problem: given a closed figure in the plane, find a new closed figure that is similar to the original a...
Craig S. Kaplan, David Salesin
149
Voted
EDOC
2009
IEEE
15 years 6 months ago
Process SEER: A Tool for Semantic Effect Annotation of Business Process Models
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process ...
Kerry Hinge, Aditya K. Ghose, George Koliadis