Sciweavers

3021 search results - page 418 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
MSR
2006
ACM
16 years 12 days ago
Fine grained indexing of software repositories to support impact analysis
Versioned and bug-tracked software systems provide a huge amount of historical data regarding source code changes and issues management. In this paper we deal with impact analysis...
Gerardo Canfora, Luigi Cerulo
IUI
2005
ACM
16 years 20 hour ago
Designing interfaces for guided collection of knowledge about everyday objects from volunteers
A new generation of intelligent applications can be enabled by broad-coverage knowledge repositories about everyday objects. We distill lessons in design of intelligent user inter...
Timothy Chklovski
IUI
2005
ACM
16 years 20 hour ago
SmartCanvas: a gesture-driven intelligent drawing desk system
This paper describes SmartCanvas, an intelligent desk system that allows a user to perform freehand drawing on a desk or similar surface with gestures. Our system requires one cam...
Zhenyao Mo, John P. Lewis, Ulrich Neumann
FASE
2005
Springer
15 years 12 months ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
ICANN
2005
Springer
15 years 12 months ago
Evolving Modular Fast-Weight Networks for Control
Abstract. In practice, almost all control systems in use today implement some form of linear control. However, there are many tasks for which conventional control engineering metho...
Faustino J. Gomez, Jürgen Schmidhuber