15644 search results - page 2700 / 3129 » Brittle System Analysis |
195
click to vote
GECCO
2007
Springer
16 years 1 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�...
214
click to vote
HUMO
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we present a novel tool for body-part segmentation and tracking in the context of multiple camera systems. Our goal is to produce robust motion cues over ti...
165
click to vote
ICOST
2007
Springer
16 years 1 months ago
2007
Springer
We consider the problem of assisting vulnerable people and their carers to reduce the occurrence, and concomitant consequences, of accidents in the home. A wireless sensor network ...
196
click to vote
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
Recently, tools for the analysis and visualization of code coverage have become widely available. At first glance, their value in assessing and improving the quality of automated ...
204
click to vote
ILC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...