661 search results - page 131 / 133 » What Can We Expect from Program Verification |
132
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
In this paper, we describe Common Sense Investing (CSI), an interactive investment tool that uses a knowledge base of common sense statements in conjunction with domain knowledge ...
154
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Recent work has shown how information theory extends conventional full-rationality game theory to allow bounded rational agents. The associated mathematical framework can be used ...
149
click to vote
EAGC
2004
Springer
15 years 8 months ago
2004
Springer
Application monitoring in the grid for parallel applications is hardly supported in recent grid infrastructures. There is a need to visualize the behavior of the program during its...
143
click to vote
SPIESR
1998
15 years 4 months ago
1998
Abstract. Imaging applications such as filtering, image transforms and compression/decompression require vast amounts of computing power when applied to large data sets. These appl...
122
click to vote
BMCBI
2010
15 years 3 months ago
2010
Background: Metagenomics is the study of environmental samples using sequencing. Rapid advances in sequencing technology are fueling a vast increase in the number and scope of met...