Sciweavers

7762 search results - page 356 / 1553
» Availability in BitTorrent Systems
Sort
View
SMC
2010
IEEE
143views Control Systems» more  SMC 2010»
15 years 5 months ago
Estimating of Bellman function via suboptimal strategies
—The paper concerns approximate dynamic decision making. It deals with solving Bellman equation to obtain the Bellman function via so-called suboptimal strategies. The suboptimal...
Jan Zeman
SEMWEB
2010
Springer
15 years 4 months ago
Completeness Guarantees for Incomplete Reasoners
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
Giorgos Stoilos, Bernardo Cuenca Grau, Ian Horrock...
SIGSOFT
2010
ACM
15 years 4 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
IJHCR
2010
94views more  IJHCR 2010»
15 years 4 months ago
Indoor Positioning Using FM Radio
This paper presents an indoor positioning system based on FM radio. The system is built upon commercially available, short-range FM transmitters. The features of the FM radio which...
Andrei Papliatseyeu, Venet Osmani, Oscar Mayora
ACL
2012
13 years 9 months ago
A Comprehensive Gold Standard for the Enron Organizational Hierarchy
Many researchers have attempted to predict the Enron corporate hierarchy from the data. This work, however, has been hampered by a lack of data. We present a new, large, and freel...
Apoorv Agarwal, Adinoyi Omuya, Aaron Harnly, Owen ...