Sciweavers

618 search results - page 97 / 124
» Meaning and Partiality Revised
Sort
View
PVLDB
2008
77views more  PVLDB 2008»
13 years 9 months ago
Towards a streaming SQL standard
This paper describes a unification of two different SQL extensions for streams and its associated semantics. We use the data models from Oracle and StreamBase as our examples. Ora...
Namit Jain, Shailendra Mishra, Anand Srinivasan, J...
ICRA
2010
IEEE
120views Robotics» more  ICRA 2010»
13 years 8 months ago
Probabilistic search with agile UAVs
— Through their ability to rapidly acquire aerial imagery, Unmanned Aerial Vehicles (UAVs) have the potential to aid target search tasks. Many of the core algorithms which are us...
Sonia Waharte, Andrew Colquhoun Symington, Niki Tr...
PPDP
2010
Springer
13 years 8 months ago
Equational axiomatization of call-by-name delimited control
Control operators for delimited continuations are useful in various fields such as partial evaluation, CPS translation, and representation of monadic effects. While many works in...
Yukiyoshi Kameyama, Asami Tanaka
PVLDB
2010
151views more  PVLDB 2010»
13 years 8 months ago
Database Compression on Graphics Processors
Query co-processing on graphics processors (GPUs) has become an effective means to improve the performance of main memory databases. However, this co-processing requires the data ...
Wenbin Fang, Bingsheng He, Qiong Luo
TASLP
2010
102views more  TASLP 2010»
13 years 8 months ago
A Modular Physically Based Approach to the Sound Synthesis of Membrane Percussion Instruments
—This paper presents a set of novel physical models for sound synthesis of membrane percussion instruments. First, a model for tension modulation in a struck circular membrane is...
Federico Avanzini, Riccardo Marogna