Sciweavers

892 search results - page 100 / 179
» An efficient terminal and model order reduction algorithm
Sort
View
SIGMOD
2006
ACM
149views Database» more  SIGMOD 2006»
14 years 10 months ago
Efficient query processing on unstructured tetrahedral meshes
Modern scientific applications consume massive volumes of data produced by computer simulations. Such applications require new data management capabilities in order to scale to te...
Stratos Papadomanolakis, Anastassia Ailamaki, Juli...
FLAIRS
2006
13 years 11 months ago
Incremental Parsing for Real-time Accompaniment Systems
The incremental parsing (IP) algorithm has been successfully used in real-time applications, due to its efficiency in modeling musical style. For example, musical systems using IP...
Giordano Ribeiro de Eulalio Cabral, Jean-Pierre Br...
ACL
2006
13 years 11 months ago
Exploiting Non-Local Features for Spoken Language Understanding
In this paper, we exploit non-local features as an estimate of long-distance dependencies to improve performance on the statistical spoken language understanding (SLU) problem. Th...
Minwoo Jeong, Gary Geunbae Lee
HASKELL
2009
ACM
14 years 4 months ago
A compositional theory for STM Haskell
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
Johannes Borgström, Karthikeyan Bhargavan, An...
TON
2008
109views more  TON 2008»
13 years 10 months ago
Efficient routing in intermittently connected mobile networks: the single-copy case
Abstract--Intermittently connected mobile networks are wireless networks where most of the time there does not exist a complete path from the source to the destination. There are m...
Thrasyvoulos Spyropoulos, Konstantinos Psounis, Ca...