Sciweavers

264 search results - page 28 / 53
» Source-Based Trace Exploration
Sort
View
MMSEC
2006
ACM
216views Multimedia» more  MMSEC 2006»
14 years 3 months ago
Exposing digital forgeries in video by detecting double MPEG compression
With the advent of sophisticated and low-cost video editing software, it is becoming increasingly easier to tamper with digital video. In addition, an ever-growing number of video...
Weihong Wang, Hany Farid
SAC
2005
ACM
14 years 3 months ago
Finding saddle points using stability boundaries
The task of finding saddle points on potential energy surfaces plays a crucial role in understanding the dynamics of a micro-molecule as well as in studying the folding pathways ...
Chandan K. Reddy, Hsiao-Dong Chiang
SAMOS
2005
Springer
14 years 3 months ago
Micro-architecture Performance Estimation by Formula
An analytical performance model for out of order issue superscalar micro-processors is presented. This model quantifies the performance impacts of micro-architecture design option...
Lucanus J. Simonson, Lei He
FATES
2004
Springer
14 years 3 months ago
Specifying and Generating Test Cases Using Observer Automata
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pet...
SGAI
2004
Springer
14 years 3 months ago
Modelling Shared Extended Mind and Collective Representational Content
Some types of animals exploit the external environment to support their cognitive processes, in the sense of patterns created in the environment that function as external mental s...
Tibor Bosse, Catholijn M. Jonker, Martijn C. Schut...