Sciweavers

11862 search results - page 95 / 2373
» Relative information completeness
Sort
View
LICS
1999
IEEE
14 years 1 months ago
Towards a Theory of Bisimulation for Local Names
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
Alan Jeffrey, Julian Rathke
HICSS
2003
IEEE
107views Biometrics» more  HICSS 2003»
14 years 2 months ago
XML Access Control for Semantically Related XML Documents
The extensible markup language (XML) is a standard for describing information on the Internet and is quickly becoming the most preferred way to store and exchange information. The...
Vijay Parmar, Hongchi Shi, Su-Shing Chen
DATAMINE
2006
117views more  DATAMINE 2006»
13 years 9 months ago
A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs
Effective information systems require the existence of explicit process models. A completely specified process design needs to be developed in order to enact a given business proce...
Laura Maruster, A. J. M. M. Weijters, Wil M. P. va...
SUM
2010
Springer
13 years 6 months ago
A Formal Analysis of Logic-Based Argumentation Systems
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
Leila Amgoud, Philippe Besnard
CIA
1998
Springer
14 years 1 months ago
Strategies for Querying Information Agents
In a simple cooperative MAS model where a collection of "querying agents" can send queries to a collection of "information agents", we formalize the problem of ...
Prasad Chalasani, Somesh Jha, Onn Shehory, Katia P...