Sciweavers

1729 search results - page 117 / 346
» Practical Temporal Projection
Sort
View
CAV
2007
Springer
121views Hardware» more  CAV 2007»
14 years 4 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
IDA
2003
Springer
14 years 3 months ago
Fuzzy Clustering of Short Time-Series and Unevenly Distributed Sampling Points
This paper proposes a new clustering algorithm in the fuzzy-c-means family, which is designed to cluster time series and is particularly suited for short time series and those wit...
Carla S. Möller-Levet, Frank Klawonn, Kwang-H...
CANDC
2005
ACM
14 years 3 days ago
Sponge: a case study in practice-based collaborative art research
In this paper, we describe the origins, thematics, projects and practices of the art research collective Sponge. In particular, we focus on Sponge as a useful case study in transd...
Christopher L. Salter, Sha Xin Wei
CIMCA
2008
IEEE
14 years 4 months ago
Analysing Boundary Objects to Develop Results that Support Business Goals
In this study of eight outsourcing projects, we seek to understand the mechanisms that companies put in place to coordinate knowledge work across their boundaries. We find that m...
María Laura Ponisio, Peter Vruggink
AGILEDC
2007
IEEE
14 years 4 months ago
The Growth of an Agile Coach Community at a Fortune 200 Company
Adopting Agile takes courage, perseverance, and continued reinforcement. To meet these needs, a community of Agile Coaches organically emerged at Capital One to provide support an...
Kara Silva, Chris Doss