Sciweavers

4767 search results - page 707 / 954
» Structures for Abstract Rewriting
Sort
View
83
Voted
ASPDAC
2005
ACM
125views Hardware» more  ASPDAC 2005»
15 years 6 months ago
A formalism for functionality preserving system level transformations
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
Samar Abdi, Daniel Gajski
SIGCSE
2005
ACM
117views Education» more  SIGCSE 2005»
15 years 6 months ago
Design patterns for parsing
We provide a systematic transformation of an LL(1) grammar to an object model that consists of · an object structure representing the non-terminal symbols and their corresponding...
Dung Zung Nguyen, Mathias Ricken, Stephen B. Wong
94
Voted
ADBIS
2005
Springer
120views Database» more  ADBIS 2005»
15 years 6 months ago
Extensible Canonical Process Model Synthesis Applying Formal Interpretation
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikol...
98
Voted
AIED
2005
Springer
15 years 6 months ago
Motivating Appropriate Challenges in a Reciprocal Tutoring System
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...
Ari Bader-Natal, Jordan B. Pollack
118
Voted
AISADM
2005
Springer
15 years 6 months ago
A Cooperative Multi-agent Data Mining Model and Its Application to Medical Data on Diabetes
Abstract. We present CoLe, a model for cooperative agents for mining knowledge from heterogeneous data. CoLe allows for the cooperation of different mining agents and the combinat...
Jie Gao, Jörg Denzinger, Robert C. James