3914 search results - page 295 / 783 » Automating SLA modeling |
137
Voted
IASSE
2004
15 years 4 months ago
2004
The Rationale-based Analysis Tool (RAT) supports analysts, developers, clients and end users during the objectoriented requirements analysis activity. The tool enables different s...
116
Voted
ICASSP
2011
IEEE
14 years 6 months ago
2011
IEEE
In this paper, we present automated methods for estimating note intensities in music recordings. Given a MIDI file (representing the score) and an audio recording (representing a...
158
Voted
AAAI
2012
13 years 5 months ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
105
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
186
Voted
SIGGRAPH
1999
ACM
15 years 7 months ago
1999
ACM
In this paper, a new technique for modeling textured 3D faces is introduced. 3D faces can either be generated automatically from one or more photographs, or modeled directly throu...