Sciweavers

1712 search results - page 123 / 343
» Abstract Constraint Data Types
Sort
View
116
Voted
CIKM
2004
Springer
15 years 8 months ago
Evaluating window joins over punctuated streams
We explore join optimizations in the presence of both timebased constraints (sliding windows) and value-based constraints (punctuations). We present the first join solution named...
Luping Ding, Elke A. Rundensteiner
POPL
2007
ACM
16 years 3 months ago
Generative unbinding of names
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
Andrew M. Pitts, Mark R. Shinwell
CHI
2001
ACM
16 years 3 months ago
Ignoring perfect knowledge in-the-world for imperfect knowledge in-the-head
Constraints and dependencies among the elements of embodied cognition form patterns or microstrategies of interactive behavior. Hard constraints determine which microstrategies ar...
Wayne D. Gray, Wai-Tat Fu
CSDA
2010
132views more  CSDA 2010»
15 years 3 months ago
Approximate low-rank factorization with structured factors
An approximate rank revealing factorization problem with structure constraints on the normalized factors is considered. Examples of structure, motivated by an application in micro...
Ivan Markovsky, Mahesan Niranjan
ICIP
2003
IEEE
16 years 4 months ago
Road network extraction in remote sensing by a Markov object process
In this paper, we rely on the theory of marked point processes to perform an unsupervised road network extraction from optical and radar images. A road network is modeled by a Mar...
Caroline Lacoste, Xavier Descombes, Josiane Zerubi...