9989 search results - page 326 / 1998 » A CLP Approach to Modelling Systems |
178
click to vote
FLAIRS
2004
15 years 8 months ago
2004
We describe a dialogue management approach that adapts dialogue strategies to a changing user model under the constraint that the approach be able to scale up rapidly for intellig...
168
click to vote
ISSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
194
click to vote
ANSS
2006
IEEE
16 years 23 days ago
2006
IEEE
With the availability of huge databases cataloguing the various molecular “parts” of complex biological systems, researchers from multiple disciplines have focused on developi...
186
click to vote
CORIA
2010
15 years 1 months ago
2010
Knowledge discovery from satellite images in spatio-temporal context remains one of the major challenges in the remote sensing field. It is, always, difficult for a user to manuall...
168
click to vote
ERSHOV
2003
Springer
15 years 12 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...