Sciweavers

6616 search results - page 165 / 1324
» Can markets help
Sort
View
SAC
2008
ACM
13 years 8 months ago
ICER: a tool for finding errors in a UML model
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...
Wuwei Shen, Dae-Kyoo Kim
ATAL
2005
Springer
14 years 3 months ago
Verifying Norm Compliancy of Protocols
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...
Huib Aldewereld, Javier Vázquez-Salceda, Fr...
DL
1999
Springer
149views Digital Library» more  DL 1999»
14 years 2 months ago
A Scrollbar-Based Visualization for Document Navigation
We are interested in questions of improving user control in bestmatch text-retrieval systems, specifically questions as to whether simple visualizations that nonetheless go beyond...
Donald Byrd
GECCO
2006
Springer
161views Optimization» more  GECCO 2006»
14 years 1 months ago
Instance similarity and the effectiveness of case injection in a genetic algorithm for binary quadratic programming
When an evolutionary algorithm addresses a sequence of instances of the same problem, it can seed its population with solutions that it found for previous instances. This techniqu...
Jason Amunrud, Bryant A. Julstrom
ITS
2000
Springer
135views Multimedia» more  ITS 2000»
14 years 1 months ago
Analyzing and Generating Mathematical Models: An Algebra II Cognitive Tutor Design Study
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. ...
Albert T. Corbett, Megan McLaughlin, K. Christine ...