Sciweavers

1686 search results - page 239 / 338
» Artful systems in the home
Sort
View
IGPL
2000
152views more  IGPL 2000»
13 years 10 months ago
An Analysis of Empirical Testing for Modal Decision Procedures
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
Ian Horrocks, Peter F. Patel-Schneider, Roberto Se...
HICSS
2000
IEEE
131views Biometrics» more  HICSS 2000»
14 years 2 months ago
Workflow-based Process Monitoring and Controlling - Technical and Organizational Issues
Workflow management systems enable the exact and timely analysis of automated business processes through the analysis of the logged audit trail data. Within the research project C...
Michael zur Muehlen, Michael Rosemann
GI
2005
Springer
14 years 3 months ago
SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme
: Das SPI-Modell dient zur Repr¨asentation von heterogenen eingebetteten Systemen. Basierend auf diesem Modell wurde in einem Forschungsverbund zwischen der TU Braunschweig, der U...
Christian Haubelt, Marek Jersak, Kai Richter, Kars...
ATAL
2007
Springer
14 years 4 months ago
A globally optimal algorithm for TTD-MDPs
In this paper, we discuss the use of Targeted Trajectory Distribution Markov Decision Processes (TTD-MDPs)—a variant of MDPs in which the goal is to realize a specified distrib...
Sooraj Bhat, David L. Roberts, Mark J. Nelson, Cha...
VLDB
2007
ACM
295views Database» more  VLDB 2007»
14 years 4 months ago
From Data Privacy to Location Privacy: Models and Algorithms
This tutorial presents the definition, the models and the techniques of location privacy from the data privacy perspective. By reviewing and revising the state of art research in ...
Ling Liu