Sciweavers

2072 search results - page 350 / 415
» Multibook's test environment
Sort
View
AIED
2009
Springer
15 years 7 months ago
Antecedent-Consequent Relationships and Cyclical Patterns between Affective States and Problem Solving Outcomes
We explored the complex interplay between students' affective states and problem solving outcomes. We conducted a study where 41 students solved 28 analytical reasoning proble...
Sidney K. D'Mello, Natalie K. Person, Blair Lehman
AMS
2007
Springer
229views Robotics» more  AMS 2007»
15 years 7 months ago
A Unified Robotic Software Architecture for Service Robotics and Networks of Smart Sensors
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
Daniel Westhoff, Jianwei Zhang
B
2007
Springer
15 years 7 months ago
Security Policy Enforcement Through Refinement Process
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
Nicolas Stouls, Marie-Laure Potet
CAISE
2009
Springer
15 years 7 months ago
Configurable Process Models: Experiences from a Municipality Case Study
Configurable process models integrate different variants of a business process into a single model. Through configuration users of such models can then combine the variants to deri...
Florian Gottschalk, Teun A. C. Wagemakers, Monique...
ICLP
2010
Springer
15 years 7 months ago
Methods and Methodologies for Developing Answer-Set Programs - Project Description
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
Johannes Oetsch, Jörg Pührer, Hans Tompi...