5639 search results - page 623 / 1128 » Timed Abstract Non-interference |
169
click to vote
ALGORITHMICA
2004
15 years 6 months ago
2004
Abstract. We present a new algorithm, called MCS-M, for computing minimal triangulations of graphs. LexBFS, a seminal algorithm for recognizing chordal graphs, was the genesis for ...
164
Voted
JSYML
2007
15 years 6 months ago
2007
Abstract. To each computable enumerable (c.e.) set A with a particular enumeration {As}s∈ω, there is associated a settling function mA(x), where mA(x) is the last stage when a n...
173
click to vote
TWC
2008
15 years 6 months ago
2008
Abstract--The closed-form exact bit error rate (BER) expressions of generalized orthogonal space-time block codes (OSTBCs) are first derived for quadrature amplitude modulation (QA...
169
click to vote
VLSISP
2008
15 years 6 months ago
2008
Abstract. The large amount of data generated by neuroprosthetic devices requires a high communication bandwidth for extra-cranial transmission, critically limiting the number and u...
141
click to vote
CGF
2000
15 years 6 months ago
2000
espace interpolation algorithm abstracts motion sequences as 1D signals, and interpolates between them to create higher dimension signals, with weights drawn from a user specified...