2699 search results - page 73 / 540 » Planning to Gather Information |
138
click to vote
MKM
2009
Springer
16 years 22 days ago
2009
Springer
Mathematical Knowledge Management (MKM), as a field, has seen tremendous growth in the last few years. This period was one where many research threads were started and the field ...
175
click to vote
WICON
2008
15 years 7 months ago
2008
We consider the problem of efficient opportunistic spectrum access in cognitive radio networks where there are multiple secondary users trying to share access to multiple channels...
137
click to vote
AIM
2006
15 years 7 months ago
2006
: Web-based information sources have evolved to an essential element in our daily and professional life. To process this faster and faster growing amount of information, web portal...
152
click to vote
TIME
2000
IEEE
15 years 10 months ago
2000
IEEE
Medical therapy planning shares a number of properties of project management. It is, however, different in a few very important aspects — most notably, the more complex notion o...
185
click to vote
FROCOS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...