Sciweavers

5615 search results - page 719 / 1123
» Active Learner Modelling
Sort
View
ECEASST
2008
83views more  ECEASST 2008»
15 years 6 months ago
Layered Architecture Consistency for MANETs: Introducing New Team Members
In this paper we extend our results (as given in [PHE+07]) concerning the layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (MANETs) using algebraic higher ord...
Enrico Biermann, Kathrin Hoffmann, Julia Padberg
ESWA
2008
96views more  ESWA 2008»
15 years 6 months ago
samap: An user-oriented adaptive system for planning tourist visits
In this paper, we present samap, whose goal is to build a software tool to help different people visit different cities. This tool integrates modules that dynamically capture user...
Luis A. Castillo, Eva Armengol, Eva Onaindia, Laur...
FMSD
2008
110views more  FMSD 2008»
15 years 6 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
COMCOM
2006
140views more  COMCOM 2006»
15 years 6 months ago
A combined delay and throughput proportional scheduling scheme for differentiated services
Abstract--The proportional differentiation model is a newly introduced approach for differentiated services networks. This paper proposes and evaluates a scheduling mechanism for t...
Ahmed E. Kamal, Samyukta Sankaran
PR
2006
89views more  PR 2006»
15 years 6 months ago
Gaussian fields for semi-supervised regression and correspondence learning
Gaussian fields (GF) have recently received considerable attention for dimension reduction and semi-supervised classification. In this paper we show how the GF framework can be us...
Jakob J. Verbeek, Nikos A. Vlassis