Sciweavers

979 search results - page 164 / 196
» Functional Properties of Information Filtering
Sort
View
ICDE
1993
IEEE
118views Database» more  ICDE 1993»
14 years 1 months ago
Entity Identification in Database Integration
The objective of entity identification is to determine the correspondence between object instances from more than one database. This paper ezamines the problem at the instance lev...
Ee-Peng Lim, Jaideep Srivastava, Satya Prabhakar, ...
CSFW
2010
IEEE
14 years 28 days ago
Constraining Credential Usage in Logic-Based Access Control
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
Lujo Bauer, Limin Jia, Divya Sharma
EH
2004
IEEE
74views Hardware» more  EH 2004»
14 years 23 days ago
Sensory Channel Grouping and Structure from Uninterpreted Sensor Data
In this paper we focus on the problem of making a model of the sensory apparatus from raw uninterpreted sensory data as defined by Pierce and Kuipers (Artificial Intelligence 92:1...
Lars Olsson, Chrystopher L. Nehaniv, Daniel Polani
E4MAS
2006
Springer
14 years 21 days ago
A Reference Architecture for Situated Multiagent Systems
Abstract. A reference architecture integrates a set of architectural patterns that have proven their value for a family of applications. Such family of applications is characterize...
Danny Weyns, Tom Holvoet
FORMATS
2006
Springer
14 years 21 days ago
Temporal Logic Verification Using Simulation
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
Georgios E. Fainekos, Antoine Girard, George J. Pa...