Sciweavers

1870 search results - page 253 / 374
» Abstract And-Parallel Machines
Sort
View
CIVR
2006
Springer
174views Image Analysis» more  CIVR 2006»
13 years 12 months ago
Annotating News Video with Locations
Abstract. The location of video scenes is an important semantic descriptor especially for broadcast news video. In this paper, we propose a learning-based approach to annotate shot...
Jun Yang 0003, Alexander G. Hauptmann
FATES
2004
Springer
13 years 12 months ago
Test Generation Based on Symbolic Specifications
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
FDL
2004
IEEE
13 years 12 months ago
The Formal Simulation Semantics of SystemVerilog
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
Martin Zambaldi, Wolfgang Ecker, T. Kruse, W. M&uu...
EUROPAR
2006
Springer
13 years 12 months ago
On-Line Adaptive Parallel Prefix Computation
Abstract. We consider parallel prefix computation on processors of different and possibly changing speeds. Extending previous works on identical processors, we provide a lower boun...
Jean-Louis Roch, Daouda Traoré, Julien Bern...
FINTAL
2006
13 years 12 months ago
Improving Statistical Word Alignments with Morpho-syntactic Transformations
Abstract. This paper presents a wide range of statistical word alignment experiments incorporating morphosyntactic information. By means of parallel corpus transformations accordin...
Adrià de Gispert, Deepa Gupta, Maja Popovic...