Sciweavers

3885 search results - page 166 / 777
» Clarifying Goal Models
Sort
View
ICCSA
2004
Springer
15 years 10 months ago
Task Modeling in Computer Supported Collaborative Learning Environments to Adapt to Mobile Computing
Using the new wireless technologies, mobile devices with small displays (handhelds, PDAs, mobile phones) are present in many environments. We are interested in the effective use of...
Ana I. Molina, Miguel A. Redondo, Manuel Ortega
ITS
2004
Springer
153views Multimedia» more  ITS 2004»
15 years 10 months ago
Modeling Students' Reasoning About Qualitative Physics: Heuristics for Abductive Proof Search
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
Maxim Makatchev, Pamela W. Jordan, Kurt VanLehn
EPIA
2001
Springer
15 years 9 months ago
Modelling Agent Societies: Co-ordination Frameworks and Institutions
Organisations can be defined as a set of entities regulated by mechanisms of social order and created by more or less autonomous actors to achieve common goals. Multi-agent systems...
Virginia Dignum, Frank Dignum
ICPR
2000
IEEE
15 years 9 months ago
Model-Based Halftoning for Color Image Segmentation
Grouping algorithms based on histograms over measured image features have very successfully been applied to textured image segmentation [2, 11, 6]. However, the competing goals of...
Jan Puzicha, Serge Belongie
EUROMICRO
2004
IEEE
15 years 8 months ago
Investigations in Applying Metrics to Multi-View Architecture Models
The goal of our research is to develop industry-proof software architecture and design metrics. We identify a number of problems that arise in computing software architecture and ...
Johan Muskens, Michel R. V. Chaudron, Christian La...