6608 search results - page 1209 / 1322 » On the Completeness of Model Checking |
114
click to vote
TPDS
2010
15 years 2 months ago
2010
—In this paper, we address the problem of finding well-performing workload exchange policies for decentralized Computational Grids using an Evolutionary Fuzzy System. To this end...
133
click to vote
TVCG
2010
15 years 2 months ago
2010
—We report a series of experiments conducted to investigate the effects of travel technique on information gathering and cognition in complex virtual environments. In the first e...
144
click to vote
BMVC
2010
15 years 2 months ago
2010
Accurate intrinsic camera calibration is essential to any computer vision task that involves image based measurements. Given its crucial role with respect to precision, a large nu...
134
click to vote
BMVC
2010
15 years 2 months ago
2010
The Texture Fragmentation and Reconstruction (TFR) algorithm has been recently introduced [9] to address the problem of image segmentation by textural properties, based on a suita...
140
click to vote
EMNLP
2010
15 years 2 months ago
2010
This paper addresses the problem of learning to map sentences to logical form, given training data consisting of natural language sentences paired with logical representations of ...