Sciweavers

384 search results - page 27 / 77
» Temporal Development Methods for Agent-Based
Sort
View
TCSV
2008
291views more  TCSV 2008»
13 years 8 months ago
A Statistical Video Content Recognition Method Using Invariant Features on Object Trajectories
Abstract--This work is dedicated to a statistical trajectorybased approach addressing two issues related to dynamic video content understanding: recognition of events and detection...
Alexandre Hervieu, Patrick Bouthemy, Jean-Pierre L...
DFG
2004
Springer
14 years 2 months ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
CSCW
2006
ACM
14 years 2 months ago
Of pill boxes and piano benches: "home-made" methods for managing medication
We report on the results of an ethnographic study of how elders manage their medication with the objective of informing the design of in-home assistive health technology to suppor...
Leysia Palen, Stinne Aaløkke Ballegaard
CORR
2011
Springer
142views Education» more  CORR 2011»
13 years 3 months ago
A Logical Method for Policy Enforcement over Evolving Audit Logs
We present an iterative algorithm for enforcing policies represented in a first-order logic, which can, in particular, express all transmission-related clauses in the HIPAA Priva...
Deepak Garg, Limin Jia, Anupam Datta
ISBI
2009
IEEE
14 years 3 months ago
Energy Minimization Methods for Cell Motion Correction and Intracellular Analysis in Live-Cell Fluorescence Microscopy
The ultimate aim of many live-cell fluorescence microscopy imaging experiments is the quantitative analysis of the spatial structure and temporal behavior of intracellular object...
Oleh Dzyubachyk, Wiggert A. van Cappellen, Jeroen ...