Sciweavers

3475 search results - page 498 / 695
» A DEA approach for model combination
Sort
View
FMICS
2008
Springer
15 years 7 months ago
Fighting State Space Explosion: Review and Evaluation
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
Radek Pelánek
ICASSP
2010
IEEE
15 years 6 months ago
Near-field adaptive beamforming and source localization in the spacetime frequency domain
We revisit the topics of near-field adaptive beamforming and source localization following an alternative approach based on a spatiotemporal spectral representation of the acoust...
Francisco Pinto, Martin Vetterli
FDL
2008
IEEE
15 years 6 months ago
MARTE-based Design of a Multimedia Application and Formal Analysis
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...
ACTAC
2008
145views more  ACTAC 2008»
15 years 6 months ago
Sentence Alignment of Hungarian-English Parallel Corpora Using a Hybrid Algorithm
We present an ecient hybrid method for aligning sentences with their translations in a parallel bilingual corpus. The new algorithm is composed of a length-based and anchor matchi...
Krisztina Tóth, Richárd Farkas, Andr...
IAJIT
2008
90views more  IAJIT 2008»
15 years 6 months ago
From e-Manufacturing to M-Manufacturing
: This paper studies the impact of wireless technologies on enterprises. A multitude of new paradigms and new software technologies have emerged from the web. E-business and e-manu...
Faiza Bouchoul, Mohamed Mostefai