1306 search results - page 190 / 262 » A Diagrammatic Approach to Model Completion |
169
click to vote
MJ
2007
15 years 5 months ago
2007
Recent algorithmic advances in Boolean satisfiability (SAT), along with highly efficient solver implementations, have enabled the successful deployment of SAT technology in a wi...
180
click to vote
GIS
2010
ACM
15 years 5 months ago
2010
ACM
With the popularity of location-based services and the abundant usage of smart phones and GPS enabled devices, the necessity of outsourcing spatial data has grown rapidly over the...
184
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
184
click to vote
IV
2010
IEEE
15 years 4 months ago
2010
IEEE
Despite the growing number of systems providing visual analytic support for investigative analysis, few empirical studies include investigations on the analytical reasoning proces...
177
click to vote
EMNLP
2010
15 years 4 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 ...