589 search results - page 111 / 118 » Verification of Cooperating Systems - An Approach Based on F... |
ESORICS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...
IJCAI
2003
13 years 8 months ago
2003
Dynamic Bayesian networks (DBNs) offer an elegant way to integrate various aspects of language in one model. Many existing algorithms developed for learning and inference in DBNs ...
IWPSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Modification analysis is part of most maintenance processes and includes among other activities, early prediction of potential change impacts, feasibility studies, cost estimation...
DALT
2005
Springer
14 years 28 days ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
We introduce the Ranked Feature Fusion framework for information retrieval system design. Typical information retrieval formalisms such as the vector space model, the bestmatch mo...