620 search results - page 55 / 124 » Linking in Context |
FMICS
2007
Springer
14 years 2 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
ICCBR
2007
Springer
14 years 2 months ago
2007
Springer
We identify two fundamental points of utilizing CBR for an adaptive agent that tries to learn on the basis of trial and error without a model of its environment. The first link co...
FOCS
2006
IEEE
14 years 1 months ago
2006
IEEE
We study a switch Markov chain on regular graphs, where switches are allowed only between links that are at distance 3; we call this the Flip. The motivation for studying the Flip...
ACSAC
2005
IEEE
14 years 1 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
ICCV
2005
IEEE
14 years 1 months ago
2005
IEEE
We propose a fast texture-segmentation approach to the problem of 2-D and 3–D model-based contour tracking, which is suitable for real-time or interactive applications. Our appr...