Sciweavers

508 search results - page 63 / 102
» A logical account of pspace
Sort
View
AIED
2007
Springer
14 years 1 months ago
Fitting Spatial Ability into Intelligent Tutoring Systems Development
Building effective learning environments is an art that can only be perfected by a great deal of explorations involving the environments’ audience: the learners. This paper focus...
Nancy Milik, Antonija Mitrovic, Michael Grimley
DATE
2006
IEEE
108views Hardware» more  DATE 2006»
14 years 1 months ago
Scheduling under resource constraints using dis-equations
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
Hadda Cherroun, Alain Darte, Paul Feautrier
DATE
2005
IEEE
169views Hardware» more  DATE 2005»
14 years 1 months ago
Activity Packing in FPGAs for Leakage Power Reduction
In this paper, two packing algorithms for the detection of activity profiles in MTCMOS-based FPGA structures are proposed for leakage power mitigation. The first algorithm is a ...
Hassan Hassan, Mohab Anis, Antoine El Daher, Moham...
ACII
2005
Springer
14 years 1 months ago
Intelligent Expressions of Emotions
We propose an architecture of an embodied conversational agent that takes into account two aspects of emotions: the emotions triggered by an event (the felt emotions) and the expre...
Magalie Ochs, Radoslaw Niewiadomski, Catherine Pel...
SEMWEB
2005
Springer
14 years 1 months ago
Ontology Learning and Reasoning - Dealing with Uncertainty and Inconsistency
Ontology Learning from text aims at generating domain ontologies from textual resources by applying natural language processing and machine learning techniques. It is inherent in t...
Peter Haase, Johanna Völker