Sciweavers

5945 search results - page 248 / 1189
» A Model for Projection and Action
Sort
View
FUIN
2007
130views more  FUIN 2007»
15 years 6 months ago
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
Thomas Eiter, Esra Erdem, Wolfgang Faber, Já...
CORR
2009
Springer
242views Education» more  CORR 2009»
15 years 4 months ago
Adaptive Scheduling of Data Paths using Uppaal Tiga
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
Israa AlAttili, Fred Houben, Georgeta Igna, Steffe...
CANDC
2009
ACM
16 years 1 months ago
BodyDaemon
This paper introduces the idea of actualizing theory in the context of artistic practice. We describe the project BodyDaemon and its function as a technology-based artwork that is...
Carlos Castellanos, Thecla Schiphorst
COLCOM
2009
IEEE
15 years 11 months ago
Multi-user multi-account interaction in groupware supporting single-display collaboration
—Combining support for single display collaboration with support for asynchronous and remote collaboration in one groupware challenges some basic assumptions of application desig...
Bastian Steinert, Michael Grünewald, Stefan R...
ACSAC
1999
IEEE
15 years 11 months ago
Security Relevancy Analysis on the Registry of Windows NT 4.0
Many security breaches are caused by inappropriate inputs crafted by people with malicious intents. To enhance the system security, we need either to ensure that inappropriate inp...
Wenliang Du, Praerit Garg, Aditya P. Mathur