Sciweavers

3006 search results - page 217 / 602
» Overview
Sort
View
AGILEDC
2009
IEEE
15 years 10 months ago
Experiences Applying Agile Practices to Large Systems
The software engineering community has documented countless success stories where lean and agile software development practices have rescued failing projects and helped countless ...
Harry Koehnemann, Mark Coats
OZCHI
2009
ACM
15 years 10 months ago
Technological approaches to promoting physical activity
This paper reflects on the HCI community’s current and potential contributions to the problem of promoting physical activity. It does so by first presenting a conceptual overvie...
Julie Maitland, Katie A. Siek
133
Voted
CADE
2009
Springer
15 years 10 months ago
SPASS Version 3.5
SPASS is an automated theorem prover for full first-order logic with equality and a number of non-classical logics. This system description provides an overview of our recent deve...
Christoph Weidenbach, Dilyana Dimova, Arnaud Fietz...
157
Voted
ICASSP
2009
IEEE
15 years 10 months ago
COSINE - A corpus of multi-party COnversational Speech In Noisy Environments
We present an overview of the data collection and transcription efforts for the COnversational Speech In Noisy Environments (COSINE) corpus. The corpus is a set of multi-party con...
Alex Stupakov, Evan Hanusa, Jeff A. Bilmes, Dieter...
159
Voted
IV
2009
IEEE
170views Visualization» more  IV 2009»
15 years 10 months ago
Measuring Aesthetics for Information Visualization
Aesthetics is an unsolved problem of information visualization, because there is no satisfactory understanding of what constitutes aesthetic effect. This survey paper gives an ove...
Daniel Filonik, Dominikus Baur