4708 search results - page 198 / 942 » Generating the Structure of Argument |
165
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
193
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
161
click to vote
IWCMC
2010
ACM
15 years 8 months ago
2010
ACM
We propose a novel methodology to generate realistic network flow traces to enable systematic evaluation of network monitoring systems in various traffic conditions. Our technique...
182
click to vote
MP
2006
15 years 6 months ago
2006
Decomposition algorithms such as Lagrangian relaxation and Dantzig-Wolfe decomposition are well-known methods that can be used to generate bounds for mixed-integer linear programmi...
165
click to vote
JOLLI
2007
15 years 6 months ago
2007
Abstract This paper presents a framework for the generation of coherent elementary conversational sequences at the speech act level. We will embrace the notion of a cooperative dia...