Sciweavers

2492 search results - page 350 / 499
» An Integrated Rule Modeling Framework
Sort
View
GEOINFO
2004
15 years 7 months ago
Spatio-Temporal Database Constraints for Spatial Dynamic Simulation
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
Bianca Maria Pedrosa, Luiz Camolesi Jr., Gilberto ...
CVIU
2006
317views more  CVIU 2006»
15 years 6 months ago
A general method for human activity recognition in video
In this paper we develop a system for human behaviour recognition in video sequences. Human behaviour is modelled as a stochastic sequence of actions. Actions are described by a f...
Neil Robertson, Ian D. Reid
IGPL
2010
132views more  IGPL 2010»
15 years 4 months ago
Changing legal systems: legal abrogations and annulments in Defeasible Logic
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
Guido Governatori, Antonino Rotolo
SIGMOD
2009
ACM
171views Database» more  SIGMOD 2009»
16 years 6 months ago
Secure outsourced aggregation via one-way chains
We consider the Outsourced Aggregation model, where sensing services outsource their sensor data collection and aggregation tasks to third-party service providers called aggregato...
Suman Nath, Haifeng Yu, Haowen Chan
WFLP
2009
Springer
277views Algorithms» more  WFLP 2009»
16 years 26 days ago
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it ca...
Stephan Falke, Deepak Kapur