2153 search results - page 410 / 431 » From Requirements Models to Formal Specifications in B |
AAAI
2008
13 years 10 months ago
2008
Search engines present fix-length passages from documents ranked by relevance against the query. In this paper, we present and compare novel, language-model based methods for extr...
APVIS
2009
13 years 9 months ago
2009
Current visualization systems are typically based on the concept of interactive post-processing. This decoupling of data visualization from the process of data generation offers a...
MLMI
2004
Springer
14 years 1 months ago
2004
Springer
Video document retrieval is now an active part of the domain of multimedia retrieval. However, unlike for other media, the management of a collection of video documents adds the pr...
ECSQARU
2009
Springer
14 years 13 days ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...
ESORICS
2007
Springer
13 years 11 months ago
2007
Springer
We propose the role-and-relation-based access control (R2 BAC) model for workflow systems. In R2 BAC, in addition to a user's role memberships, the user's relationships w...