Sciweavers

1072 search results - page 194 / 215
» Innovation as language action
Sort
View
CSFW
2003
IEEE
14 years 25 days 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
CW
2003
IEEE
14 years 25 days ago
Educative Distributed Virtual Environments For Children
This paper presents a distributed virtual reality environment for children called EVE— Environnements Virtuels pour Enfants. The virtual environment architecture is reactive age...
Jean-Pierre Gerval, Dorin Mircea Popovici, Jacques...
IUI
2003
ACM
14 years 24 days ago
Dynamic web page authoring by example using ontology-based domain knowledge
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
José Antonio Macías Iglesias, Pablo ...
ICOIN
2003
Springer
14 years 22 days ago
A Network Management Architecture Using XML-Based Policy Information Base
XML is being used to describe components and applications in a vendor and language neutral. Therefore it already has a role in distributed system. XML is also being used as a data ...
Kwoun Sup Youn, Choong Seon Hong
INTERACTION
2009
ACM
14 years 6 days ago
RoboEarth: connecting robots worldwide
In this paper, we present the core concept and the benefits of an approach called RoboEarth which will be highly beneficial for future robotic applications in science and industry...
Oliver Zweigle, René van de Molengraft, Raf...