4555 search results - page 175 / 911 » Deductive Algorithmic Knowledge |
123
Voted
ICASSP
2010
IEEE
15 years 1 months ago
2010
IEEE
Performing distributed consensus in a network has been an important research problem for several years, and is directly applicable to sensor networks, autonomous vehicle formation...
133
click to vote
CCS
2009
ACM
16 years 3 months ago
2009
ACM
Knowledge discovery on social network data can uncover latent social trends and produce valuable findings that benefit the welfare of the general public. A growing amount of resea...
100
click to vote
AISC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
135
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
114
click to vote
FCCM
2006
IEEE
15 years 8 months ago
2006
IEEE
— Many important applications are organized around long-lived, irregular sparse graphs (e.g., data and knowledge bases, CAD optimization, numerical problems, simulations). The gr...