Sciweavers

1955 search results - page 284 / 391
» Can Computers Handle Adverbs
Sort
View
138
Voted
CAV
2009
Springer
187views Hardware» more  CAV 2009»
16 years 5 months ago
A Markov Chain Monte Carlo Sampler for Mixed Boolean/Integer Constraints
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
Nathan Kitchen, Andreas Kuehlmann
133
Voted
PERCOM
2009
ACM
16 years 5 months ago
Practical Rate Adaptation in Mobile Environments
Channel asymmetry and high fluctuation of channel conditions are two salient characteristics of wireless channels in mobile environments. Therefore, when using IEEE 802.11 devices ...
Xi Chen, Prateek Gangwal, Daji Qiao
145
Voted
KDD
2006
ACM
122views Data Mining» more  KDD 2006»
16 years 5 months ago
Measuring and extracting proximity in networks
Measuring distance or some other form of proximity between objects is a standard data mining tool. Connection subgraphs were recently proposed as a way to demonstrate proximity be...
Yehuda Koren, Stephen C. North, Chris Volinsky
VLSID
2008
IEEE
122views VLSI» more  VLSID 2008»
16 years 5 months ago
A Module Checking Based Converter Synthesis Approach for SoCs
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
Roopak Sinha, Partha S. Roop, Samik Basu
VLDB
2006
ACM
147views Database» more  VLDB 2006»
16 years 4 months ago
Answering queries using materialized views with minimum size
In this paper we study the following problem. Given a database and a set of queries, we want to find a set of views that can compute the answers to the queries, such that the amoun...
Rada Chirkova, Chen Li, Jia Li