Sciweavers

9842 search results - page 456 / 1969
» The Complexity of the Matching-Cut Problem
Sort
View
TSMC
2008
113views more  TSMC 2008»
15 years 7 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
DAM
2002
67views more  DAM 2002»
15 years 7 months ago
Optimal arrangement of data in a tree directory
We define the decision problem data arrangement, which involves arranging the vertices of a graph G at the leaves of a d-ary tree so that a weighted sum of the distances between p...
Malwina J. Luczak, Steven D. Noble
ML
2000
ACM
103views Machine Learning» more  ML 2000»
15 years 7 months ago
Nonparametric Time Series Prediction Through Adaptive Model Selection
We consider the problem of one-step ahead prediction for time series generated by an underlying stationary stochastic process obeying the condition of absolute regularity, describi...
Ron Meir
PRL
2002
89views more  PRL 2002»
15 years 7 months ago
Rejection based classifier for face detection
Pattern detection problems require a separation between two classes, Target and Clutter, where the probability of the former is substantially smaller compared to that of the latte...
Michael Elad, Yacov Hel-Or, Renato Keshet
NAACL
2010
15 years 5 months ago
Two monolingual parses are better than one (synchronous parse)
We describe a synchronous parsing algorithm that is based on two successive monolingual parses of an input sentence pair. Although the worst-case complexity of this algorithm is a...
Chris Dyer