Sciweavers

2410 search results - page 439 / 482
» Multiset Ordering Constraints
Sort
View
102
Voted
ICFP
2006
ACM
16 years 21 days ago
Recursive modules for programming
d abstract) Keiko Nakata1 Jacques Garrigue2 1 Kyoto University Research Institute for Mathematical Sciences 2 Graduate School of Mathematics, Nagoya University The ML module syste...
Keiko Nakata, Jacques Garrigue
91
Voted
ICDE
2010
IEEE
288views Database» more  ICDE 2010»
16 years 15 days ago
Global Iceberg Detection over Distributed Data Streams
In today's Internet applications or sensor networks we often encounter large amounts of data spread over many physically distributed nodes. The sheer volume of the data and ba...
Ashwin Lall, Haiquan (Chuck) Zhao, Jun Xu, Mitsuno...
SDM
2009
SIAM
144views Data Mining» more  SDM 2009»
15 years 10 months ago
On Segment-Based Stream Modeling and Its Applications.
The primary constraint in the effective mining of data streams is the large volume of data which must be processed in real time. In many cases, it is desirable to store a summary...
Charu C. Aggarwal
109
Voted
ALT
2001
Springer
15 years 9 months ago
Learning How to Separate
The main question addressed in the present work is how to find effectively a recursive function separating two sets drawn arbitrarily from a given collection of disjoint sets. I...
Sanjay Jain, Frank Stephan
127
Voted
ICCAD
2008
IEEE
133views Hardware» more  ICCAD 2008»
15 years 9 months ago
Module locking in biochemical synthesis
—We are developing a framework for computation with biochemical reactions with a focus on synthesizing specific logical functionality, a task analogous to technology-independent...
Brian Fett, Marc D. Riedel