Sciweavers

1264 search results - page 25 / 253

» Towards Theory Translation

13

INFOCOM
2006
IEEE

81views Communications» more INFOCOM 2006»

Towards a Unified Theory of Policy-Based Routing

14 years 2 months ago

Towards a Unified Theory of Policy-Based Routing

Download mae.ucdavis.edu

Chi-Kin Chau, Richard Gibbens, Timothy G. Griffin

claim paper

Read More »

47

ACL2
2006
ACM

283views Computational Linguistics» more ACL2 2006»

Towards a formal theory of on chip communications in the ACL2 logic

14 years 2 months ago

Towards a formal theory of on chip communications in the ACL2 logic

Download www.ccs.neu.edu

Julien Schmaltz, Dominique Borrione

claim paper

Read More »

17

GRC
2005
IEEE

78views Applied Computing» more GRC 2005»

Toward a generalized theory of uncertainty (GTU) - an outline

14 years 2 months ago

Toward a generalized theory of uncertainty (GTU) - an outline

Download www-bisc.cs.berkeley.edu

Lotfi A. Zadeh

claim paper

Read More »

33

HICSS
2005
IEEE

181views Biometrics» more HICSS 2005»

Motivating Content Contributions to Online Communities: Toward a More Comprehensive Theory

14 years 2 months ago

Motivating Content Contributions to Online Communities: Toward a More Comprehensive Theory

Download csdl2.computer.org

This paper extends previous research by proposing a model that can help explain ways to motivate member contributions to online communities (OCs). New features in the model will a...

Steven J. J. Tedjamulia, Douglas L. Dean, David R....

claim paper

Read More »

22

CALCO
2005
Springer

93views Mathematics» more CALCO 2005»

Labels from Reductions: Towards a General Theory

14 years 2 months ago

Labels from Reductions: Towards a General Theory

Download eprints.ecs.soton.ac.uk

We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.

Bartek Klin, Vladimiro Sassone, Pawel Sobocinski

claim paper

Read More »

« Prev « First page 25 / 253 Last » Next »