6650 search results - page 280 / 1330 » models 2009 |
160
click to vote
GIS
2009
ACM
16 years 1 months ago
2009
ACM
While conventional GIS maps have long been a privileged way for the integration and diffusion of geographical information, novel forms of representation and description of urban ...
180
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
177
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Identifying effective tutorial strategies is a key problem for tutorial dialogue systems research. Ongoing work in human-human tutorial dialogue continues to reveal the complex phe...
213
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
The following paper presents a novel audio-visual approach for unsupervised speaker locationing. Using recordings from a single, low-resolution room overview camera and a single f...
159
click to vote
APCCM
2009
15 years 7 months ago
2009
Service-oriented architectures (SOAs) provide the basis of distributed application frameworks where software components are provided as modular and reusable services. Until today ...