1565 search results - page 96 / 313 » An unlikely result |
150
click to vote
CEEMAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...
184
click to vote
EUROCRYPT
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. MD5 is one of the most widely used cryptographic hash functions nowadays. It was designed in 1992 as an improvement of MD4, and its security was widely studied since then...
168
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
153
click to vote
IPMI
2005
Springer
15 years 12 months ago
2005
Springer
Three-dimensional imaging and quantification of myocardial function are essential steps in the evaluation of cardiac disease. We propose a tagged magnetic resonance imaging method...
162
click to vote
KI
2005
Springer
15 years 12 months ago
2005
Springer
We discuss the application of Model-Based Diagnosis in (agent-based) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It is assum...