261 search results - page 29 / 53 » synthese 2010 |
ICRA
2010
IEEE
15 years 10 days ago
2010
IEEE
—This paper describes the synthesis of correct robot control from high-level tasks that include non-projective locative prepositions. Here, locative prepositions such as ‘nearâ...
128
Voted
ISOLA
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
114
Voted
PAMI
2010
15 years 6 days ago
2010
—The goal of this paper is to correct bleed-through in degraded documents using a variational approach. The variational model is adapted using an estimated background according t...
98
Voted
VR
2010
IEEE
15 years 5 days ago
2010
IEEE
A system to synthesize in real-time the sound of footsteps on different materials is presented. The system is based on microphones which allow the user to interact with his own fo...
140
click to vote
FORMATS
2010
Springer
14 years 11 months ago
2010
Springer
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...