Sciweavers

1701 search results - page 160 / 341
» Bandwidth Management of WiMAX Systems and Performance Modeli...
Sort
View
DSN
2000
IEEE
15 years 9 months ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...
ICPR
2006
IEEE
16 years 5 months ago
A Hybrid HMM-Based Speech Recognizer Using Kernel-Based Discriminants as Acoustic Models
In this paper we propose a novel order-recursive training algorithm for kernel-based discriminants which is computationally efficient. We integrate this method in a hybrid HMM-bas...
Edin Andelic, Marcel Katz, Martin Schafföner,...
HPDC
2010
IEEE
15 years 5 months ago
Lessons learned from moving earth system grid data sets over a 20 Gbps wide-area network
In preparation for the Intergovernmental Panel on Climate Change (IPCC) Fifth Assessment Report, the climate community will run the Coupled Model Intercomparison Project phase 5 (...
Rajkumar Kettimuthu, Alex Sim, Dan Gunter, Bill Al...
149
Voted
SECON
2008
IEEE
15 years 11 months ago
Content Distribution in VANETs Using Network Coding: The Effect of Disk I/O and Processing O/H
Abstract—Besides safe navigation (e.g., warning of approaching vehicles), car to car communications will enable a host of new applications, ranging from office-on-the-wheel supp...
Seung-Hoon Lee, Uichin Lee, Kang-Won Lee, Mario Ge...
INEX
2004
Springer
15 years 10 months ago
The Utrecht Blend: Basic Ingredients for an XML Retrieval System
Exploiting the structure of a document allows for more powerful information retrieval techniques. In this article a basic approach is discussed for the retrieval of XML document f...
Roelof van Zwol, Frans Wiering, Virginia Dignum