7296 search results - page 1135 / 1460 » informs 2010 |
228
click to vote
ICFEM
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
174
click to vote
ICMCS
2010
IEEE
15 years 6 months ago
2010
IEEE
In film-making, the distance from the camera to the subject greatly affects the narrative power of a shot. By the alternate use of Long shots, Medium and Close-ups the director i...
214
click to vote
ICMCS
2010
IEEE
15 years 6 months ago
2010
IEEE
We have recorded a new corpus of emotionally coloured conversations. Users were recorded while holding conversations with an operator who adopts in sequence four roles designed to...
216
click to vote
ICMT
2010
Springer
15 years 6 months ago
2010
Springer
Traditionally, software maintenance takes only technical information into account to evolve legacy systems. However, business knowledge, which could help to improve the comprehensi...
179
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
— Sampling-based kinodynamic planners, such as the popular RRT algorithm, have been proposed as promising solutions to planning for systems with dynamics. Nevertheless, complex s...