88 search results - page 12 / 18 » Whose Net Is It Anyway |
NAACL
2010
13 years 4 months ago
2010
In this paper, we describe an approach based on off-the-shelf parsers and semantic resources for the Recognizing Textual Entailment (RTE) challenge that can be generally applied t...
SOFSEM
2010
Springer
13 years 4 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
SIGMETRICS
2012
ACM
11 years 9 months ago
2012
ACM
Sampling is crucial for controlling resource consumption by internet traffic flow measurements. Routers use Packet Sampled NetFlow [9], and completed flow records are sampled in...
COMPGEOM
1993
ACM
13 years 10 months ago
1993
ACM
We give a practical and provably good Monte Carlo algorithm for approximating center points. Let P be a set of n points in IRd . A point c ∈ IRd is a β-center point of P if eve...
DA
2010
13 years 6 months ago
2010
In competitive wholesale electricity markets, regulated load serving entities (LSEs) and marketers with default service contracts have obligations to serve fluctuating load at pre...