2790 search results - page 257 / 558 » A generative theory of relevance |
161
click to vote
DIS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. It is an up-to-date challenge to get answers for novel questions which nobody has ever considered. Such a question is too rare to be satisfied with a past single documen...
138
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The paper applies an economic model of a competitive market for retail banking services to generate insights into the following relevant questions. Is the cost structure of electr...
202
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
—We address the issue of power-controlled shared channel access in future wireless networks supporting packetized data traffic, beyond the voice-oriented continuous traffic prima...
188
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
157
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
The GOODLY language can be used to specify the design of systems built according to the Object Oriented paradigm. It was conceived with the main purpose of facilitating the extrac...