27827 search results - page 341 / 5566 » Generating |
116
click to vote
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
130
click to vote
VR
2010
IEEE
15 years 2 months ago
2010
IEEE
Nowadays, applications of virtual reality (VR) and computer games use human characters models with ever-increasing sophistication. Additional challenges are posed by applications,...
121
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
ly correct bijection between higher-order abstract syntax (HOAS) and the natural numbers enables one to define a "not equals" relationship between terms and also to have ...
133
click to vote
ACL
2010
15 years 1 months ago
2010
This paper presents a novel approach to automatic captioning of geo-tagged images by summarizing multiple webdocuments that contain information related to an image's location...
138
click to vote
ACL
2010
15 years 1 months ago
2010
Music Recommendation Systems often recommend individual songs, as opposed to entire albums. The challenge is to generate reviews for each song, since only full album reviews are a...