Sciweavers

3008 search results - page 144 / 602
» Mechanisms for Importing Modules
Sort
View
TELSYS
2002
126views more  TELSYS 2002»
15 years 4 months ago
Framework and Tool Support for Formal Verification of Highspeed Transfer Protocol Designs
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
Peter Herrmann, Heiko Krumm, Olaf Drögehorn, ...
PAMI
2007
138views more  PAMI 2007»
15 years 4 months ago
A Fast Biologically Inspired Algorithm for Recurrent Motion Estimation
—We have previously developed a neurodynamical model of motion segregation in cortical visual area V1 and MT of the dorsal stream. The model explains how motion ambiguities cause...
Pierre Bayerl, Heiko Neumann
INFOCOM
2006
IEEE
15 years 10 months ago
BiToS: Enhancing BitTorrent for Supporting Streaming Applications
— BitTorrent (BT) in the last years has been one of the most effective mechanisms for P2P content distribution. Although BT was created for distribution of time insensitive conte...
Aggelos Vlavianos, Marios Iliofotou, Michalis Falo...
UIST
1995
ACM
15 years 8 months ago
Social Activity Indicators: Interface Components for CSCW Systems
Knowing what social activity is occurring within and through a Computer-Supported Cooperative Work (CSCW) system is often very useful. This is especially true for computer-mediate...
Mark S. Ackerman, Brian Starr
COLING
2002
15 years 4 months ago
A Stochastic Parser Based on an SLM with Arboreal Context Trees
In this paper, we present a parser based on a stochastic structured language model (SLM) with a exible history reference mechanism. An SLM is an alternative to an n-gram model as...
Shinsuke Mori