23201 search results - page 179 / 4641 » Rewriting Systems with Data |
182
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
We propose an algorithm for automated segmentation of white matter in brain MRI images, which can be used to create connected representations of the gray matter in the cerebral co...
304
click to vote
ICDE
2006
IEEE
16 years 7 months ago
2006
IEEE
We study the problem of continuous relational query processing in Internet-scale overlay networks realized by distributed hash tables. We concentrate on the case of continuous two...
296
click to vote
ICDE
2005
IEEE
16 years 7 months ago
2005
IEEE
Data warehousing and on-line analytical processing (OLAP) are essential for decision support applications. Common OLAP operations include for example drill down, roll up, pivot an...
185
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
222
click to vote
DMSN
2006
ACM
16 years 15 days ago
2006
ACM
In this paper, we study the problem of processing multiple queries in a wireless sensor network. We focus on multiquery optimization at the base station level to minimize the numb...