12193 search results - page 268 / 2439 » It's not all about |
145
click to vote
SIGKDD
2000
15 years 6 months ago
2000
This personal overview of Interface '99 is intended to communicate its meaning and relevance to SIGKDD, as well as provide valuable information on trends within the Interface...
166
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
151
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
A report is provided for the ACM SIGKDD community about the 2010 Workshop on Algorithms for Modern Massive Data Sets (MMDS 2010), its origin in MMDS 2006 and MMDS 2008, and future...
158
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
— In the minimum energy broadcasting problem, each node can adjust its transmission power in order to minimize total energy consumption but still enable a message originated from...
175
click to vote
AAAI
1992
15 years 7 months ago
1992
An intelligent agent uses known facts, including statistical knowledge, to assign degrees of belief to assertions it is uncertain about. We investigate three principled techniques...