4689 search results - page 215 / 938 » Analysis and modeling of control tasks in dynamic systems |
170
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Advances in geographical information systems (GIS) and supporting data collection technology has resulted in the rapid collection of a huge amount of spatial data. However, known ...
187
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
209
click to vote
UAIS
2008
15 years 6 months ago
2008
In the age of speech and voice recognition technologies, sign language recognition is an essential part of ensuring equal access for deaf people. To date, sign language recognition...
174
click to vote
FLAIRS
2010
15 years 9 months ago
2010
We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connecte...
184
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— Lyapunov methods and density functions provide dual characterizations of the solutions of a nonlinear dynamic system. This work exploits the idea of combining both techniques, ...