3820 search results - page 593 / 764 » Bounded Model Debugging |
102
Voted
PERCOM
2007
ACM
16 years 2 months ago
2007
ACM
This research is motivated by emerging, real-world wireless sensor network applications for monitoring and control. We examine the benefits and costs of caching data for such appli...
119
Voted
WSDM
2010
ACM
15 years 12 months ago
2010
ACM
We study the problem of designing a mechanism to rank items in forums by making use of the user reviews such as thumb and star ratings. We compare mechanisms where forum users rat...
126
Voted
SODA
2010
ACM
15 years 12 months ago
2010
ACM
We consider the problem of approximating a set P of n points in Rd by a j-dimensional subspace under the p measure, in which we wish to minimize the sum of p distances from each p...
95
Voted
ALT
2005
Springer
15 years 11 months ago
2005
Springer
We consider a variant of Gold’s learning paradigm where a learner receives as input n different languages (in form of one text where all input languages are interleaved). Our g...
109
Voted
DSD
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Verification of application requirements is becoming a bottleneck in system-on-chip design, as the number of applications grows. Traditionally, the verification comple...