Sciweavers

6906 search results - page 973 / 1382
» An algorithm for modelling key terms
Sort
View
182
Voted
HYBRID
2010
Springer
15 years 4 months ago
Oscillation analysis of linearly coupled piecewise affine systems
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...
Kenji Kashima, Yasuyuki Kawamura, Jun-ichi Imura
179
Voted
SIGSOFT
2010
ACM
15 years 4 months ago
Staged concurrent program analysis
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
Nishant Sinha, Chao Wang
194
Voted
WWW
2011
ACM
15 years 1 months ago
Trust analysis with clustering
Web provides rich information about a variety of objects. Trustability is a major concern on the web. Truth establishment is an important task so as to provide the right informati...
Manish Gupta, Yizhou Sun, Jiawei Han
209
Voted
COCO
2007
Springer
85views Algorithms» more  COCO 2007»
16 years 1 months ago
Norms, XOR Lemmas, and Lower Bounds for GF(2) Polynomials and Multiparty Protocols
This paper presents a unified and simple treatment of basic questions concerning two computational models: multiparty communication complexity and GF(2) polynomials. The key is t...
Emanuele Viola, Avi Wigderson
204
Voted
EMNLP
2007
15 years 8 months ago
Bootstrapping Feature-Rich Dependency Parsers with Entropic Priors
One may need to build a statistical parser for a new language, using only a very small labeled treebank together with raw text. We argue that bootstrapping a parser is most promis...
David A. Smith, Jason Eisner