Sciweavers

5154 search results - page 339 / 1031
» Modelling online education
Sort
View
CORR
2008
Springer
112views Education» more  CORR 2008»
15 years 7 months ago
Compact Labelings For Efficient First-Order Model-Checking
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
Bruno Courcelle, Cyril Gavoille, Mamadou Moustapha...
CORR
2006
Springer
81views Education» more  CORR 2006»
15 years 7 months ago
Universal Filtering via Hidden Markov Modeling
The problem of discrete universal filtering, in which the components of a discrete signal emitted by an unknown source and corrupted by a known discrete memoryless channel (DMC) ar...
Taesup Moon, Tsachy Weissman
CORR
2007
Springer
93views Education» more  CORR 2007»
15 years 7 months ago
Collaborative product and process model: Multiple Viewpoints approach
The design and development of complex products invariably involves many actors who have different points of view on the problem they are addressing, the product being developed, a...
Hichem Geryville, Abdelaziz Bouras, Yacine Ouzrout...
CORR
2002
Springer
85views Education» more  CORR 2002»
15 years 7 months ago
Intuitions and the modelling of defeasible reasoning: some case studies
The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, ...
Henry Prakken
CORR
2002
Springer
96views Education» more  CORR 2002»
15 years 7 months ago
Models and Tools for Collaborative Annotation
The Annotation Graph Toolkit (AGTK) is a collection of software which facilitates development of linguistic annotation tools. AGTK provides a database interface which allows appli...
Xiaoyi Ma, Haejoong Lee, Steven Bird, Kazuaki Maed...