13383 search results - page 323 / 2677 » Abstractions from proofs |
192
click to vote
COMMA
2006
15 years 8 months ago
2006
Abstract. This paper presents our efforts to create argument structures from meeting transcripts automatically. We show that unit labels of argument diagrams can be learnt and pred...
149
click to vote
ANOR
2010
15 years 6 months ago
2010
Abstract In this paper we provide a survey of recent contributions to robust portfolio strategies from operations research and finance to the theory of portfolio selection. Our sur...
156
click to vote
DT
2006
15 years 6 months ago
2006
at their abstractions are similar to data types and operations supplied by conventional processors. A core principle of BCPL is its memory model: an The Challenges of Synthesizing ...
177
Voted
CVIU
2004
15 years 6 months ago
2004
We present the use of layered probabilistic representations for modeling human activities, and describe how we use the representation to do sensing, learning, and inference at mul...
177
click to vote
RSCTC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Clinical Decision Support Systems embed data-driven decision models designed to represent clinical acumen of an experienced physician. We argue that eliminating physician...