Sciweavers

10575 search results - page 1791 / 2115
» T2Script Programming Language
Sort
View
LPAR
2005
Springer
15 years 10 months ago
Disjunctive Constraint Lambda Calculi
Abstract. Earlier we introduced Constraint Lambda Calculi which integrate constraint solving with functional programming for the simple case where the constraint solver produces no...
Matthias M. Hölzl, John N. Crossley
SOFSEM
2005
Springer
15 years 10 months ago
Tier Aspect Model Based on Updatable Views
The tier aspect model addresses Aspect Oriented Programming (AOP) in the context of database applications. It is a new technique of separation of concerns through tiers implemented...
Radoslaw Adamus, Kazimierz Subieta
UM
2005
Springer
15 years 10 months ago
Detecting When Students Game the System, Across Tutor Subjects and Classroom Cohorts
Building a generalizable detector of student behavior within intelligent tutoring systems presents two challenges: transferring between different cohorts of students (who may devel...
Ryan Shaun Baker, Albert T. Corbett, Kenneth R. Ko...
UM
2005
Springer
15 years 10 months ago
Motion-Based Adaptation of Information Services for Mobile Users
Adaptive information systems typically exploit knowledge about the user’s interests, preferences, goals etc. to determine what should be presented to the user and how this presen...
Mathias Bauer, Matthieu Deru
UM
2005
Springer
15 years 10 months ago
Bayesphone: Precomputation of Context-Sensitive Policies for Inquiry and Action in Mobile Devices
Inference and decision making with probabilistic user models may be infeasible on portable devices such as cell phones. We highlight the opportunity for storing and using precomput...
Eric Horvitz, Paul Koch, Raman Sarin, Johnson Apac...
« Prev « First page 1791 / 2115 Last » Next »