2517 search results - page 107 / 504 » Specifying Weak Sets |
137
click to vote
JC
2010
15 years 7 days ago
2010
We prove that some multivariate linear tensor product problems are tractable in the worst case setting if they are defined as tensor products of univariate problems with logarithm...
171
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
The aim of compressed sensing is to recover attributes of sparse signals using very few measurements. Given an overall bit budget for quantization, this paper demonstrates that th...
250
click to vote
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
In prior work [15] we studied a language construct restrict that allows programmers to specify that certain pointers are not aliased to other pointers used within a lexical scope....
145
click to vote
DALT
2003
Springer
15 years 10 months ago
2003
Springer
We propose a logic-based rendition of electronic institutions – these are means to specify open agent organisations. We employ a simple notation based on first-order logic and s...
151
click to vote
FASE
2000
Springer
15 years 9 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of