Sciweavers

11862 search results - page 95 / 2373
» Relative information completeness
Sort
View
LICS
1999
IEEE
15 years 10 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»
15 years 11 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»
15 years 6 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
15 years 4 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
15 years 10 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...