16404 search results - page 156 / 3281 » A set coverage problem |
105
click to vote
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
133
click to vote
ACL
2006
15 years 4 months ago
2006
This paper describes an algorithm for propagating verb arguments along lexical chains consisting of WordNet relations. The algorithm creates verb argument structures using VerbNet...
130
click to vote
JMLR
2010
14 years 10 months ago
2010
We consider selective classification, a term we adopt here to refer to `classification with a reject option.' The essence in selective classification is to trade-off classifi...
108
click to vote
JSC
2010
14 years 10 months ago
2010
We describe an algorithm for converting a characteristic set of a prime differential ideal from one ranking into another. This algorithm was implemented in many different language...
149
click to vote
ECCC
2011
14 years 10 months ago
2011
We consider two basic computational problems regarding discrete probability distributions: (1) approximating the statistical difference (aka variation distance) between two given d...