1361 search results - page 71 / 273 » Spaces of practice |
ENTCS
2008
13 years 11 months ago
2008
Traditional methods for combining theory solvers rely on capabilities of the solvers to produce all implied equalities or a pre-processing step that introduces additional literals...
ICDE
2007
IEEE
15 years 16 days ago
2007
IEEE
Recently, the skyline computation and analysis have been extended from one single full space to multidimensional subspaces, which can lead to valuable insights in some application...
IMECS
2007
14 years 18 days ago
2007
—In the context of multiple constant multiplications (MCM) design, we propose a novel common-subexpression-elimination (CSE) algorithm that models synthesis of coefficients into ...
TSP
2008
13 years 11 months ago
2008
Shannon's sampling theory and its variants provide effective solutions to the problem of reconstructing a signal from its samples in some "shift-invariant" space, wh...
CHI
2006
ACM
14 years 11 months ago
2006
ACM
Wireless peer-to-peer network technology enables new types of collaborative practices among people in public space and across multiple locations. BashoCam is an on-going project t...