Sciweavers

2314 search results - page 51 / 463
» Monoids over domains
Sort
View
INFOCOM
1994
IEEE
15 years 4 months ago
Dynamic Bandwidth Allocation for Efficient Transport of Real-Time VBR Video over ATM
This pape? presents a novel approach to dynamic transmission bandwidth allocation for transport of real-time variable-bit-rate video in ATM networks. Describe video traffic in the...
Song Chong, San-qi Li, Joydeep Ghosh
DEBS
2008
ACM
15 years 1 months ago
Real-time, load-adaptive processing of continuous queries over data streams
We introduce a new type of query, called a real-time continuous query (RCQ), that captures the real-time requirements of processing data streams. We develop techniques to efficien...
Dhananjay Kulkarni, Chinya V. Ravishankar, Mitch C...
AAAI
2006
15 years 1 months ago
Goal Specification, Non-Determinism and Quantifying over Policies
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...
Chitta Baral, Jicheng Zhao
PVLDB
2010
252views more  PVLDB 2010»
14 years 6 months ago
Efficient and Effective Similarity Search over Probabilistic Data based on Earth Mover's Distance
Probabilistic data is coming as a new deluge along with the technical advances on geographical tracking, multimedia processing, sensor network and RFID. While similarity search is...
Jia Xu, Zhenjie Zhang, Anthony K. H. Tung, Ge Yu
CORR
2011
Springer
115views Education» more  CORR 2011»
14 years 3 months ago
SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
Michael Codish, Igor Gonopolskiy, Amir M. Ben-Amra...