Sciweavers

1514 search results - page 162 / 303
» Cues to Common Knowledge
Sort
View
AOSE
2006
Springer
14 years 2 months ago
Designing Institutional Multi-Agent Systems
Abstract. The vision of agents working together on the Internet, in virtual organizations, is one that is increasingly common. However, one of the issues is the regulation of the p...
Carles Sierra, John Thangarajah, Lin Padgham, Mich...
CAISE
2006
Springer
14 years 2 months ago
Experiences with Modeling and Verification of Regulations
Information system models commonly describe organizations in terms of the structure of the data they use, the organization of the processes they perform and the operations that wil...
Jan Vanthienen, Christophe Mues, Stijn Goedertier
ER
2006
Springer
157views Database» more  ER 2006»
14 years 2 months ago
Representing Transitive Propagation in OWL
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
Julian Seidenberg, Alan L. Rector
SAS
2000
Springer
124views Formal Methods» more  SAS 2000»
14 years 2 months ago
Code Specialization Based on Value Profiles
Abstract. It is often the case at runtime that variables and registers in programs are "quasi-invariant," i.e., the distribution of the values they take on is very skewed...
Robert Muth, Scott A. Watterson, Saumya K. Debray
CVRMED
1995
Springer
14 years 2 months ago
Adaptive Segmentation of MRI Data
Abstract. Intensity-based classification of MR images has proven problematic, even when advanced techniques are used. Intra-scan and interscan intensity inhomogeneities are a comm...
William M. Wells III, W. Eric L. Grimson, Ron Kiki...