31387 search results - page 445 / 6278 » Abstracts |
182
click to vote
PAM
2005
Springer
16 years 1 months ago
2005
Springer
This extended abstract present findings on measured TCP performance of a range of network stacks. We have found that there are significant differences between the TCP implementa...
188
click to vote
CAV
2004
Springer
16 years 1 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
194
click to vote
INLG
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. In this paper, we present a logic-based model for an accurate generation of intensional responses within a cooperative questionanswering framework. We develop several cat...
170
click to vote
LOPSTR
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. This paper aims at offering an insightful synthesis of different compositional semantics for logic program composition which have been developed in the literature. In p...
214
click to vote
VMCAI
2004
Springer
16 years 29 days ago
2004
Springer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...