Sciweavers

1769 search results - page 175 / 354
» An implementation of argument based discussion
Sort
View
HPN
1994
15 years 7 months ago
Fast Connection Establishment in the DTM Gigabit Network
Dynamic synchronous Transfer Mode (DTM) is a new protocol suite based on synchronous fast circuit switching. The DTM network is based on bandwidth reservation and supports dynamic...
Per Lindgren, Christer Bohm
CSDA
2008
56views more  CSDA 2008»
15 years 6 months ago
Robust designs for series estimation
We discuss optimal design problems for a popular method of series estimation in regression problems. Commonly used design criteria are based on the generalized variance of the est...
Holger Dette, Douglas P. Wiens
DAM
2006
97views more  DAM 2006»
15 years 6 months ago
Entity authentication schemes using braid word reduction
Abstract. Artin's braid groups currently provide a promising background for cryptographical applications, since the first cryptosystems using braids were introduced in [2, 3, ...
Hervé Sibert, Patrick Dehornoy, Marc Giraul...
ENTCS
2007
86views more  ENTCS 2007»
15 years 6 months ago
Tinycals: Step by Step Tacticals
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacc...
NGC
2006
Springer
102views Communications» more  NGC 2006»
15 years 6 months ago
Evaluation of Automatic Generation of Basic Stories
Abstract This paper presents an application that automatically generates basic stories: short texts that only narrate the main events of the plot. The system operates with a repres...
Federico Peinado, Pablo Gervás