Sciweavers

1968 search results - page 167 / 394
» Symmetry in Decision Evaluation
Sort
View
QEST
2007
IEEE
16 years 23 days ago
Symbolic Bisimulations for Probabilistic Systems
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
Peng Wu 0002, Catuscia Palamidessi, Huimin Lin
VTC
2007
IEEE
16 years 23 days ago
UMTS Non Real-Time Sessions Channel Switching Emulation
— We discuss here a scheme to improve the Rel 99 UMTS radio resource management. The article focuses on the two different types of transport channel: shared and dedicated. It eva...
Hugues van Peteghem, Laurent Schumacher
ADAPTIVE
2007
Springer
16 years 20 days ago
Collaborative Filtering Recommender Systems
One of the potent personalization technologies powering the adaptive web is collaborative filtering. Collaborative filtering (CF) is the process of filtering or evaluating items th...
J. Ben Schafer, Dan Frankowski, Jonathan L. Herloc...
AIED
2007
Springer
16 years 20 days ago
The Effect of Problem Templates on Learning in Intelligent Tutoring Systems
: This paper proposes the notion of problem templates (PTs), a concept based on theories of memory and expertise. These mental constructs allow experts to quickly recognise problem...
Moffat Mathews, Antonija Mitrovic
STACS
2007
Springer
16 years 18 days ago
VPSPACE and a Transfer Theorem over the Reals
Abstract. We introduce a new class VPSPACE of families of polynomials. Roughly speaking, a family of polynomials is in VPSPACE if its coefficients can be computed in polynomial spa...
Pascal Koiran, Sylvain Perifel