Sciweavers

718 search results - page 49 / 144
» Toward Models for Forensic Analysis
Sort
View
ECRTS
2007
IEEE
15 years 4 months ago
Cache-Aware Timing Analysis of Streaming Applications
Of late, there has been a considerable interest in models, algorithms and methodologies specifically targeted towards designing hardware and software for streaming applications. ...
Samarjit Chakraborty, Tulika Mitra, Abhik Roychoud...
FM
2009
Springer
155views Formal Methods» more  FM 2009»
15 years 4 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...
CIVR
2009
Springer
134views Image Analysis» more  CIVR 2009»
15 years 4 months ago
Towards surveillance video search by natural language query
Spatial language video retrieval is an important real-world problem that is also a natural test bed for evaluating semantic structures for natural language descriptions of motion ...
Stefanie Tellex, Deb Roy
SECON
2008
IEEE
15 years 4 months ago
A First Step Towards Dynamic Profiling of Sensor-Based Systems
Application specific tuning has been shown to be beneficial for a variety of platforms, sensor-based systems are no exception. However, accurately capturing external stimuli or mo...
Srihari Sridharan, Susan Lysecky
IE
2007
14 years 11 months ago
Capturing polymorphic creations: towards ontological heterogeneity and transmodiology
This paper addresses the vast practice encompassed under the placeholder term polymorphic creations: contemporary tie-ins, pervasive gaming, telematic arts and so on. A position i...
Christy Dena