2446 search results - page 168 / 490 » Principles of dataspace systems |
CCE
2004
15 years 23 days ago
2004
Bifurcation theory provides a powerful tool for analyzing the nonlinear dynamic behavior of process systems. However, although the theory in principle applies to lumped as well as...
119
click to vote
IMC
2010
ACM
14 years 10 months ago
2010
ACM
Online advertising supports many Internet services, such as search, email, and social networks. At the same time, there are widespread concerns about the privacy loss associated w...
101
click to vote
DASIP
2010
14 years 7 months ago
2010
The elaboration of new systems on embedded targets is becoming more and more complex. In particular, multimedia devices are now implemented using mixed hardware and software archi...
178
click to vote
SCP
2011
14 years 7 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
112
click to vote
TIT
2011
14 years 7 months ago
2011
— The focus of this paper is on spatial precoding in correlated multi-antenna channels where the number of datastreams is adapted independent of the number of transmit antennas. ...