Sciweavers

10263 search results - page 1805 / 2053
» From Use Cases to System Operation Specifications
Sort
View
ICWE
2004
Springer
15 years 11 months ago
Authoring and Dynamic Generation of Adaptive E-courses
Abstract. Adaptive hypermedia constitutes a pretty rich resource for developing web-based courses. With the aim of dynamically generating adaptive ecourses, we have developed the T...
Rosa M. Carro, Manuel Freire, Estefanía Mar...
AINA
2010
IEEE
15 years 11 months ago
Towards Adaptive Mobile Mashups: Opportunities for Designing Effective Persuasive Technology on the Road
— Today’s vehicles and on-road infrastructures are equipped with a large number of sophisticated sensory devices. These sensory devices are capable of monitoring and providing ...
Flora Dilys Salim
CG
2000
Springer
15 years 10 months ago
Chess Neighborhoods, Function Combination, and Reinforcement Learning
Abstract. Over the years, various research projects have attempted to develop a chess program that learns to play well given little prior knowledge beyond the rules of the game. Ea...
Robert Levinson, Ryan Weber
ATAL
2007
Springer
15 years 10 months ago
A unified framework for multi-agent agreement
Multi-Agent Agreement problems (MAP) - the ability of a population of agents to search out and converge on a common state - are central issues in many multi-agent settings, from d...
Kiran Lakkaraju, Les Gasser
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
15 years 10 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
« Prev « First page 1805 / 2053 Last » Next »