5252 search results - page 1030 / 1051 » Requirements engineering: a roadmap |
FUNGAMES
2010
13 years 8 months ago
2010
Emotional expression when performing music (singing or playing musical instruments) requires skill, but such a skill is generally difficult to learn. Computer systems that can mak...
DFN
2009
13 years 8 months ago
2009
: The Internet Engineering Task Force (IETF) and the Telecommunication Standardization Sector of the International Telecommunication Union (ITU-T) have undertaken a joint effort to...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
ICML
2010
IEEE
13 years 8 months ago
2010
IEEE
We present new algorithms for inverse optimal control (or inverse reinforcement learning, IRL) within the framework of linearlysolvable MDPs (LMDPs). Unlike most prior IRL algorit...
DAC
2010
ACM
13 years 7 months ago
2010
ACM
Given the increasing complexity of multi-processor systems-onchip, a wide range of parameters must be tuned to find the best trade-offs in terms of the selected system figures of ...