Sciweavers

5232 search results - page 815 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
ARGMAS
2006
Springer
15 years 10 months ago
An Argumentation-Based Approach for Practical Reasoning
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
Iyad Rahwan, Leila Amgoud
ATAL
2006
Springer
15 years 8 months ago
An argumentation based approach for practical reasoning
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
Iyad Rahwan, Leila Amgoud
DAC
2005
ACM
15 years 8 months ago
VLIW: a case study of parallelism verification
Parallelism in processor architecture and design imposes a verification challenge as the exponential growth in the number of execution combinations becomes unwieldy. In this paper...
Allon Adir, Yaron Arbetman, Bella Dubrov, Yossi Li...
EDM
2008
96views Data Mining» more  EDM 2008»
15 years 8 months ago
Labeling Student Behavior Faster and More Precisely with Text Replays
We present text replays, a method for generating labels that can be used to train classifiers of student behavior. We use this method to label data as to whether students are gamin...
Ryan Shaun Joazeiro de Baker, Adriana M. J. B. de ...
IADIS
2003
15 years 8 months ago
A Unifying Approach for Interface Adaptation
It is sometimes a challenge to untangle the large amount of information on the Web. We thus need to adapt this information to a given user in a particular context. This adaptation...
Mathieu Barcikowski, Jean-Charles Marty, Laurence ...