3765 search results - page 264 / 753 » Formal Methods for Systems Engineering Behavior Models |
167
click to vote
MSO
2003
15 years 8 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
208
click to vote
ISVC
2007
Springer
16 years 24 days ago
2007
Springer
Content based image retrieval (CBIR), a technique which uses visual contents to search images from the large scale image databases, is an active area of research for the past decad...
177
click to vote
NIPS
2008
15 years 8 months ago
2008
We present a novel mathematical formalism for the idea of a "local model" of an uncontrolled dynamical system, a model that makes only certain predictions in only certai...
180
click to vote
ICMCS
2005
IEEE
16 years 7 days ago
2005
IEEE
Speech enabled interfaces and spoken dialog systems are mostly based on statistical speech and language processing modules. Their behavior is therefore not deterministic and hardl...
172
Voted
CAV
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...