Sciweavers

5592 search results - page 413 / 1119
» On Random Betweenness Constraints
Sort
View
EMNLP
2010
15 years 4 months ago
Using Universal Linguistic Knowledge to Guide Grammar Induction
We present an approach to grammar induction that utilizes syntactic universals to improve dependency parsing across a range of languages. Our method uses a single set of manually-...
Tahira Naseem, Harr Chen, Regina Barzilay, Mark Jo...
FORMATS
2010
Springer
15 years 4 months ago
Diagnosis Using Unfoldings of Parametric Time Petri Nets
This paper considers the model of Time Petri Nets (TPNs) extended with time parameters and its use to perform on-line diagnosis of distributed systems. We propose to base the metho...
Bartosz Grabiec, Louis-Marie Traonouez, Claude Jar...
SAT
2010
Springer
127views Hardware» more  SAT 2010»
15 years 4 months ago
Symmetry and Satisfiability: An Update
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
Hadi Katebi, Karem A. Sakallah, Igor L. Markov
197
Voted
DCC
2011
IEEE
15 years 1 months ago
Collaboration in Distributed Hypothesis Testing with Quantized Prior Probabilities
The effect of quantization of prior probabilities in a collection of distributed Bayesian binary hypothesis testing problems over which the priors themselves vary is studied. In ...
Joong Bum Rhim, Lav R. Varshney, Vivek K. Goyal
CVPR
2011
IEEE
14 years 10 months ago
Wide-angle Micro Sensors for Vision on a Tight Budget
Achieving computer vision on micro-scale devices is a challenge. On these platforms, the power and mass constraints are severe enough for even the most common computations (matrix...
Sanjeev Koppal, Todd Zickler, Ioannis Gkioulekas