Sciweavers

5754 search results - page 653 / 1151
» Multi-class Model M
Sort
View
156
Voted
AIED
2009
Springer
16 years 1 months ago
Collaborative Dialog While Studying Worked-out Examples
Self-explaining is a beneficial learning strategy for studying worked-out examples because it either supplies missing information through the generation of inferences or because it...
Robert G. M. Hausmann, Timothy J. Nokes, Kurt VanL...
CIKM
2009
Springer
16 years 1 months ago
An analysis framework for search sequences
In this paper we present a general framework to study sequences of search activities performed by a user. Our framework provides (i) a vocabulary to discuss types of features, mod...
Qiaozhu Mei, Kristina Klinkner, Ravi Kumar, Andrew...
202
Voted
FSTTCS
2009
Springer
16 years 1 months ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
M. Praveen, Kamal Lodaya
183
Voted
GECCO
2009
Springer
127views Optimization» more  GECCO 2009»
16 years 1 months ago
Geometrical insights into the dendritic cell algorithm
This work examines the dendritic cell algorithm (DCA) from a mathematical perspective. By representing the signal processing phase of the algorithm using the dot product it is sho...
Thomas Stibor, Robert Oates, Graham Kendall, Jonat...
240
Voted
SACMAT
2009
ACM
16 years 1 months ago
A semantic web based framework for social network access control
The existence of on-line social networks that include person specific information creates interesting opportunities for various applications ranging from marketing to community o...
Barbara Carminati, Elena Ferrari, Raymond Heatherl...