6894 search results - page 200 / 1379 » Generation Problems |
165
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
196
click to vote
PRICAI
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents the CQ algorithm which decomposes and solves a Markov Decision Process (MDP) by automatically generating a hierarchy of smaller MDPs using state variables. The ...
156
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...
160
click to vote
LREC
2010
15 years 8 months ago
2010
MAGEAD is a morphological analyzer and generator for Modern Standard Arabic (MSA) and its dialects. We introduced MAGEAD in previous work with an implementation of MSA and Levanti...
203
click to vote
NIPS
2007
15 years 8 months ago
2007
Estimation of three-dimensional articulated human pose and motion from images is a central problem in computer vision. Much of the previous work has been limited by the use of cru...