Sciweavers

5243 search results - page 875 / 1049
» Reasoning About Strategies
Sort
View
VL
2010
IEEE
216views Visual Languages» more  VL 2010»
15 years 4 months ago
Explanatory Debugging: Supporting End-User Debugging of Machine-Learned Programs
Many machine-learning algorithms learn rules of behavior from individual end users, such as taskoriented desktop organizers and handwriting recognizers. These rules form a “prog...
Todd Kulesza, Simone Stumpf, Margaret M. Burnett, ...
XPU
2010
Springer
15 years 4 months ago
Auto-tagging Emails with User Stories Using Project Context
Abstract. In distributed agile teams, people often use email as a knowledge sharing tool to clarify the project requirements (aka user stories). Knowledge about the project include...
S. M. Sohan, Michael M. Richter, Frank Maurer
APSCC
2010
IEEE
15 years 4 months ago
Service-centric Inference and Utilization of Confidence on Context
Abstract--The inadequate quality of context forces the context consumers in pervasive environments to reason about the quality and relevance of context to be confident of its worth...
Atif Manzoor, Hong Linh Truong, Christoph Dorn, Sc...
CP
2010
Springer
15 years 4 months ago
Contingency Plans for Air Traffic Management
We present two heuristics based on constraint technology that solve the problem of generating air traffic management contingency plans, which are used in the case of a catastrophic...
Karl Sundequist Blomdahl, Pierre Flener, Justin Pe...
DIS
2010
Springer
15 years 4 months ago
Concept Convergence in Empirical Domains
How to achieve shared meaning is a significant issue when more than one intelligent agent is involved in the same domain. We define the task of concept convergence, by which intell...
Santiago Ontañón, Enric Plaza