Sciweavers

2957 search results - page 442 / 592
» Code analysis and CS-XML
Sort
View
145
Voted
WIAMIS
2009
IEEE
15 years 11 months ago
Feature-based video key frame extraction for low quality video sequences
We present an approach to key frame extraction for structuring user generated videos on video sharing websites (e. g. YouTube). Our approach is intended to link existing image sea...
Pascal Kelm, Sebastian Schmiedeke, Thomas Sikora
135
Voted
FMCAD
2009
Springer
15 years 11 months ago
Decision diagrams for linear arithmetic
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
Sagar Chaki, Arie Gurfinkel, Ofer Strichman
150
Voted
IRI
2008
IEEE
15 years 11 months ago
Towards an integrated modeling and simulation framework for freight transportation in metropolitan areas
Freight transportation at distribution nodes such as marine ports, airports and rail yards has been putting tremendous environmental pressure in metropolitan areas. A prerequisite...
Qunzhi Zhou, Amol Bakshi, Viktor K. Prasanna, Rama...
139
Voted
SP
2008
IEEE
119views Security Privacy» more  SP 2008»
15 years 11 months ago
Verifying the Safety of User Pointer Dereferences
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
Suhabe Bugrara, Alex Aiken
112
Voted
HICSS
2007
IEEE
87views Biometrics» more  HICSS 2007»
15 years 11 months ago
Eliciting Conceptual Models to Support Interdisciplinary Research
Constructing interdisciplinary knowledge requires knowledge sharing between researchers studying the same object from different disciplinary angles. Such sharing is particularly d...
Pieter J. Beers, Pieter W. G. Bots