11784 search results - page 2087 / 2357 » Improving Software Process Improvement |
158
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and diļ...
116
click to vote
HUC
2007
Springer
15 years 11 months ago
2007
Springer
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of speciļ¬cation, ...
139
click to vote
IMR
2007
Springer
15 years 11 months ago
2007
Springer
Unstructured hexahedral mesh generation is a critical part of the modeling process in the Spectral-Element Method (SEM). We present some examples of seismic wave propagation in co...
161
click to vote
ISI
2007
Springer
15 years 11 months ago
2007
Springer
āSemantic Event Tracker (SET) is a highly interactive visualization tool for tracking and associating activities (events) in a spatially and Multimedia Enriched Virtual Environme...
142
Voted
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...