Sciweavers

1915 search results - page 304 / 383
» A language for functional interpretation of model based simu...
Sort
View
CASE
2011
102views more  CASE 2011»
12 years 9 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
ECIR
2009
Springer
14 years 6 months ago
Joint Ranking for Multilingual Web Search
Ranking for multilingual information retrieval (MLIR) is a task to rank documents of different languages solely based on their relevancy to the query regardless of query’s langu...
Wei Gao, Cheng Niu, Ming Zhou, Kam-Fai Wong
P2P
2006
IEEE
153views Communications» more  P2P 2006»
14 years 3 months ago
A Reciprocation-Based Economy for Multiple Services in Peer-to-Peer Grids
Peer-to-peer grids aim to build computational grids encompassing thousands of sites. To achieve this scale, such systems cannot rely on trust or off-line negotiations among partic...
Miranda Mowbray, Francisco Vilar Brasileiro, Nazar...
GLOBECOM
2008
IEEE
14 years 3 months ago
MIMO UWB Systems Based on Linear Precoded OFDM for Home Gigabit Applications
Abstract— In this paper, we investigate the use of multipleinput multiple-output (MIMO) techniques with linear precoded orthogonal frequency division multiplexing (LP-OFDM) wavef...
Antoine Stephan, Jean-François Hélar...
WSC
2008
13 years 11 months ago
Automating the constraining process
The typical approach to finding minimum levels of resources that still allow support and operational performance goals to be met for military aircraft is based on a manual trial-a...
Joel J. Luna