3814 search results - page 499 / 763 » Extensible Information Brokers |
174
click to vote
TABLEAUX
2007
Springer
16 years 1 months ago
2007
Springer
Bi-intuitionistic logic is the extension of intuitionistic logic with a connective dual to implication. Bi-intuitionistic logic was introduced by Rauszer as a Hilbert calculus with...
219
click to vote
UM
2007
Springer
16 years 1 months ago
2007
Springer
Personalization is one of the important research issues in the areas of information retrieval and Web search. Providing personalized services that are tailored toward the specific...
167
click to vote
3DPVT
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a method for obtaining accurate dense elevation and appearance models of terrain using a single camera on-board an aerial platform. Applications of this method...
168
click to vote
ACSAC
2006
IEEE
2006
IEEE
A Study of Access Control Requirements for Healthcare Systems Based on Audit Trails from Access Logs
16 years 1 months ago
In healthcare, role-based access control systems are often extended with exception mechanisms to ensure access to needed informationeven when the needs don’t followthe expected ...
169
click to vote
ACSAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...