Sciweavers

4266 search results - page 367 / 854
» A Framework for Defining Logics
Sort
View
DAGSTUHL
2004
15 years 9 months ago
Language Engineering in Practice
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
Martin Große-Rhode
AIEDU
2007
108views more  AIEDU 2007»
15 years 7 months ago
Explicit Reflection in Prolog-Tutor
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...
Joséphine M. P. Tchétagni, Roger Nka...
EJC
2008
15 years 7 months ago
On digraph coloring problems and treewidth duality
It is known that every constraint-satisfaction problem (CSP) reduces, and is in fact polynomially equivalent, to a digraph coloring problem. By carefully analyzing the constructio...
Albert Atserias
229
Voted
TCAD
2002
134views more  TCAD 2002»
15 years 7 months ago
Testing and diagnosis of interconnect faults in cluster-based FPGA architectures
As IC densities are increasing, cluster-based FPGA architectures are becoming the architecture of choice for major FPGA manufacturers. A cluster-based architecture is one in which...
Ian G. Harris, Russell Tessier
189
Voted
BSN
2009
IEEE
116views Sensor Networks» more  BSN 2009»
16 years 2 months ago
Detecting Walking Gait Impairment with an Ear-worn Sensor
— This paper investigates an ear worn sensor for the development of a gait analysis framework. Instead of explicitly defining gait features that indicate injury or impairment, an...
Louis Atallah, Omer Aziz, Benny P. L. Lo, Guang-Zh...