800 search results - page 32 / 160 » Towards a formalization of budgets |
107
Voted
PERCOM
2010
ACM
14 years 8 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
ICIP
2005
IEEE
15 years 12 months ago
2005
IEEE
We propose a novel distortion minimization technique for the transmission of a packetized progressive bitstream. We consider tandem channels introducing bit errors and packet eras...
ICDM
2008
IEEE
15 years 4 months ago
2008
IEEE
We examine linear regression problems where some features may only be observable at a cost (e.g., in medical domains where features may correspond to diagnostic tests that take ti...
NCA
2005
IEEE
15 years 3 months ago
2005
IEEE
In this paper, fundamental conditions which bound the network processing unit (NPU) worst-case performance are established. In particular, these conditions formalize and integrate...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...