2673 search results - page 302 / 535 » Guided Static Analysis |
157
click to vote
EWCBR
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes the development of the generic collaboration support architecture CAKE incorporating case-based reasoning (CBR). CAKE provides unified access to knowledge avai...
152
click to vote
ITS
2000
Springer
15 years 9 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...
153
Voted
UML
2000
Springer
15 years 9 months ago
2000
Springer
We propose a methodology for hypermedia design which is based on a UML profile for the hypermedia domain. Starting with a use case analysis and a conceptual model of the applicatio...
130
click to vote
BMVC
2001
15 years 8 months ago
2001
We describe the development of a vision system to detect natural events in a low-resolution image stream. The work involves the assessment of algorithmic design decisions to maxim...
133
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In open markets and within business and government organizations, selfish agents often face the question of what tasks to work on, and what partners to work with. Optimal solutions...