Sciweavers

319 search results - page 16 / 64
» Dynamically inferring temporal properties
Sort
View
BMCBI
2010
172views more  BMCBI 2010»
13 years 4 months ago
Nonparametric identification of regulatory interactions from spatial and temporal gene expression data
Background: The correlation between the expression levels of transcription factors and their target genes can be used to infer interactions within animal regulatory networks, but ...
Anil Aswani, Soile V. E. Keränen, James Brown...
FORMATS
2010
Springer
13 years 7 months ago
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
Alexandre Donzé, Oded Maler
ICCV
2011
IEEE
12 years 9 months ago
Exemplar Extraction using Spatio-Temporal Hierarchical Agglomerative Clustering for Face Recognition in Video
Many recent works have attempted to improve object recognition by exploiting temporal dynamics, an intrinsic property of video sequences. In this paper, a new spatiotemporal hiera...
John See, Chikkannan Eswaran
GIS
2007
ACM
14 years 11 months ago
Spatial and temporal analysis of pedestrian egress behavior and efficiency
This research reports on exploring analytical methodologies for spatio-temporal data of pedestrian egress dynamics in a crowded environment. The research objective is to spatially...
Atsushi Nara, Paul M. Torrens
TSE
1998
129views more  TSE 1998»
13 years 9 months ago
Inferring Declarative Requirements Specifications from Operational Scenarios
—Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting software requirements. This paper concentrates on the use of scenarios for...
Axel van Lamsweerde, Laurent Willemet