1240 search results - page 159 / 248 » Composition with Target Constraints |
VL
2010
IEEE
14 years 8 months ago
2010
IEEE
Visual representations are widely used to describe modern-day software systems, but, in most cases, they lack rigour. This paper addresses the problems of formality, rigour and co...
ACL
2009
14 years 7 months ago
2009
Binarization of n-ary rules is critical for the efficiency of syntactic machine translation decoding. Because the target side of a rule will generally reorder the source side, it ...
ICMCS
2009
IEEE
14 years 7 months ago
2009
IEEE
Image summarization is to determine a smaller but faithful representation of the original visual content. In this paper, we propose a context saliency based image summarization ap...
120
click to vote
ANNS
2010
14 years 4 months ago
2010
Evolving recurrent neural networks for behavior control of robots equipped with larger sets of sensors and actuators is difficult due to the large search spaces that come with the ...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
This paper investigates the time-bounded version of the reachability problem for hybrid automata. This problem asks whether a given hybrid automaton can reach a given target locat...