Sciweavers

3052 search results - page 520 / 611
» Engineers Don't Search
Sort
View
EMSOFT
2003
Springer
14 years 2 months ago
Space Reductions for Model Checking Quasi-Cyclic Systems
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcl...
ERCIMDL
2003
Springer
106views Education» more  ERCIMDL 2003»
14 years 2 months ago
Topical Crawling for Business Intelligence
Abstract. The Web provides us with a vast resource for business intelligence. However, the large size of the Web and its dynamic nature make the task of foraging appropriate inform...
Gautam Pant, Filippo Menczer
ICCSA
2010
Springer
14 years 2 months ago
Geospatial Analysis of Cooperative Works on Asymmetric Information Environment
In the so-called Information-Explosion Era, astronomical amount of information is ubiquitously produced and digitally stored. It is getting more and more convenient for cooperative...
Tetsuya Kusuda, Tetsuro Ogi
CLOUD
2010
ACM
14 years 2 months ago
Google fusion tables: data management, integration and collaboration in the cloud
Google Fusion Tables is a cloud-based service for data management and integration. Fusion Tables enables users to upload tabular data files (spreadsheets, CSV, KML), currently of...
Hector Gonzalez, Alon Y. Halevy, Christian S. Jens...
WEBDB
2010
Springer
155views Database» more  WEBDB 2010»
14 years 2 months ago
Learning Topical Transition Probabilities in Click Through Data with Regression Models
The transition of search engine users’ intents has been studied for a long time. The knowledge of intent transition, once discovered, can yield a better understanding of how di...
Xiao Zhang, Prasenjit Mitra