Sciweavers

770 search results - page 42 / 154
» Abstract Yourself With Modules
Sort
View
103
Voted
MIR
2006
ACM
189views Multimedia» more  MIR 2006»
15 years 6 months ago
Dynamic storyboards for video content summarization
We propose an innovative, general purpose, approach to the selection and hierarchical representation of key frames of a video sequence for video summarization. In the first stage ...
Gianluigi Ciocca, Raimondo Schettini
CODES
2005
IEEE
15 years 6 months ago
Conflict analysis in multiprocess synthesis for optimized system integration
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
Oliver Bringmann, Wolfgang Rosenstiel, Axel Sieben...
MICAI
2004
Springer
15 years 5 months ago
A Biologically Motivated and Computationally Efficient Natural Language Processor
Abstract. Conventional artificial neural network models lack many physiological properties of the neuron. Current learning algorithms are more concerned to computational performanc...
João Luís Garcia Rosa
WCRE
2003
IEEE
15 years 5 months ago
Analyzing Large Spreadsheet Programs
Although the results of spreadsheet programs are the base for very important decisions and are subject to many changes, they are only poorly documented. In this paper we introduce...
Markus Clermont
CAV
2000
Springer
97views Hardware» more  CAV 2000»
15 years 4 months ago
Detecting Errors Before Reaching Them
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...