21430 search results - page 3946 / 4286 » Abstract Effective Models |
150
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract--We address the maximum attainable rate of fingerprinting codes under the marking assumption, studying lower and upper bounds on the value of the rate for various sizes of...
111
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract In the emerging eScience environment, repositories of papers, datasets, software, etc., should be the foundation of a global and natively-digital scholarly communications ...
153
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract--In wireless networks, important network functionalities such as power control, rate allocation, routing, and congestion control must be optimized in a coherent and integr...
136
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...
126
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...