3591 search results - page 435 / 719 » Typing linear constraints |
156
click to vote
ICALP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
158
click to vote
GLVLSI
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper first presents an accurate and efficient method of estimating the short circuit energy dissipation and the output transition time of CMOS buffers. Next the paper descri...
144
click to vote
MM
2003
ACM
15 years 12 months ago
2003
ACM
Combining search results from multimedia sources is crucial for dealing with heterogeneous multimedia data, particularly in multimedia retrieval where a final ranked list of item...
188
click to vote
PAAMS
2009
Springer
15 years 11 months ago
2009
Springer
The multi-agent resource allocation problem is the negotiation of a set of resources among a population of agents, in order to maximize a social welfare function. The purpose of th...
186
click to vote
ICDCSW
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we describe a new paradigm for information retrieval in which the retrieval target is based on a model. Three types of models – linear, finite state, and knowledg...