Sciweavers

1096 search results - page 81 / 220
» Abstract Canonical Inference
Sort
View
CALCO
2009
Springer
159views Mathematics» more  CALCO 2009»
15 years 4 months ago
Complete Iterativity for Algebras with Effects
Abstract. Completely iterative algebras (cias) are those algebras in which recursive equations have unique solutions. In this paper we study complete iterativity for algebras with ...
Stefan Milius, Thorsten Palm, Daniel Schwencke
IFIP
2009
Springer
15 years 4 months ago
On Designing for Tussle: Future Internet in Retrospect
Abstract. Over the past decades, the fundamental principles of the Internet architecture have not significantly changed. However, Internet evolution and its effects on participants...
Costas Kalogiros, Alexandros Kostopoulos, Alan For...
SG
2009
Springer
15 years 4 months ago
Feature-Driven Volume Fairing
Abstract. Volume datasets have been a primary representation for scientific visualization with the advent of rendering algorithms such as marching cubes and ray casting. Nonethele...
Shigeo Takahashi, Jun Kobayashi, Issei Fujishiro
ICC
2007
IEEE
15 years 4 months ago
A Measurement Based Dynamic Policy for Switched Processing Systems
Abstract- Switched Processing Systems (SPS) represent a canonical model for many areas of applications of communication, computer and manufacturing systems. They are characterized ...
Ying-Chao Hung, George Michailidis
CALCO
2007
Springer
95views Mathematics» more  CALCO 2007»
15 years 4 months ago
Higher Dimensional Trees, Algebraically
In formal language theory, James Rogers published a series of innovative papers generalising strings and trees to higher dimensions.Motivated by applications in linguistics, his go...
Neil Ghani, Alexander Kurz