Sciweavers

2981 search results - page 441 / 597
» Answer Set Planning
Sort
View
AGP
2003
IEEE
15 years 11 months ago
Local Closed-World Assumptions for reasoning about Semantic Web data
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
Elisa Bertino, Alessandro Provetti, Franco Salvett...
CSFW
2003
IEEE
15 years 11 months ago
Using First-Order Logic to Reason about Policies
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason...
Joseph Y. Halpern, Vicky Weissman
HICSS
2003
IEEE
106views Biometrics» more  HICSS 2003»
15 years 11 months ago
Measuring Healthcare Inequities using the Gini Index
Questions of healthcare inequities have been of continuing concern to health researchers, planners, and policymakers. The answers to such questions can be difficult to interpret, ...
Donald J. Berndt, John W. Fisher, Rama V. Rajendra...
HICSS
2003
IEEE
90views Biometrics» more  HICSS 2003»
15 years 11 months ago
Enterprise Wide Development - A Survey of Critical Factors for Co-Ordinated Development in Complex Organizations: What Developme
This paper describes critical factors for co-ordinated enterprise and IS/IT development and change in complex organizations in Sweden. These factors represent an answer on the cru...
Magnus Holmqvist, Håkan Enquist
ICIP
2003
IEEE
15 years 11 months ago
Model-based head pose estimation for air-traffic controllers
We present a method for estimating the point of fixation of an air traffic controller from a low resolution video sequence. A geometric model of the head is used to estimate hea...
Xavier L. C. Brolly, Constantinos Stratelos, Jeffr...