6608 search results - page 1073 / 1322 » On the Completeness of Model Checking |
201
click to vote
SIGMETRICS
2010
ACM
15 years 1 months ago
2010
ACM
This paper builds a complete modeling framework for understanding user churn and in-degree dynamics in unstructured P2P systems in which each user can be viewed as a stationary al...
245
click to vote
SIGMOBILE
2010
15 years 1 months ago
2010
We propose a non-persistent indoor localization system using a self-organizing reference grid of autonomous robot systems. The key idea is to continuously maintain accurate relati...
249
Voted
TFS
2010
15 years 1 months ago
2010
At present, the development in the nascent field of synthetic gene networks is still difficult. Most newly created gene networks are nonfunctioning due to intrinsic parameter fluct...
201
click to vote
TIP
2010
15 years 1 months ago
2010
Multiframe super-resolution (SR) reconstruction of small moving objects against a cluttered background is difficult for two reasons: a small object consists completely of "mix...
167
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we present a sentence simplification method and demonstrate its use to improve intent determination and slot filling tasks in spoken language understanding (SLU) ...