821 search results - page 115 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
104
click to vote
ASAP
2010
IEEE
15 years 1 months ago
2010
IEEE
Data-flow has proven to be an attractive computation model for programming digital signal processing (DSP) applications. A restricted version of data-flow, termed synchronous data...
AAAI
2004
15 years 1 months ago
2004
Qualitative assessment of scientific computations is an emerging application area that applies a data-driven approach to characterize, at a high level, phenomena including conditi...
BMCBI
2007
14 years 12 months ago
2007
Background: Expressed sequence tags (ESTs) analyses are a fundamental tool for gene identification in organisms. Given a preliminary EST sample from a certain library, several sta...
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
125
click to vote
CIVR
2010
Springer
14 years 6 months ago
2010
Springer
Current content-based video copy detection approaches mostly concentrate on the visual cues and neglect the audio information. In this paper, we attempt to tackle the video copy d...