Sciweavers

2296 search results - page 91 / 460
» The Expressive Power of Synchronizations
Sort
View
CORR
2007
Springer
124views Education» more  CORR 2007»
15 years 4 months ago
A Channel that Heats Up
Motivated by on-chip communication, a channel model is proposed where the variance of the additive noise depends on the weighted sum of the past channel input powers. For this chan...
Tobias Koch, Amos Lapidoth, Paul-Peter Sotiriadis
APAL
2004
75views more  APAL 2004»
15 years 4 months ago
An intensional fixed point theory over first order arithmetic
The purpose of this article is to present a new theory IPA() for fixed points over arithmetic which allows the building up of fixed points in a very nested and entangled way. But ...
Gerhard Jäger
CIKM
2007
Springer
15 years 10 months ago
Structure and semantics for expressive text kernels
Several problems in text categorization are too hard to be solved by standard bag-of-words representations. Work in kernel-based learning has approached this problem by (i) consid...
Stephan Bloehdorn, Alessandro Moschitti
GEOS
2005
Springer
15 years 10 months ago
Comparing Representations of Geographic Knowledge Expressed as Conceptual Graphs
Abstract. Conceptual Graphs are a very powerful knowledge and meaning representation formalism grounded on deep philosophical, linguistic and object oriented principles [1], [2]. C...
Athanasios Karalopoulos, Margarita Kokla, Marinos ...
ASIAN
1999
Springer
118views Algorithms» more  ASIAN 1999»
15 years 8 months ago
Asynchronous Links in the PBC and M-Nets
This paper aims at introducing an extension of M-nets, a fully compositional class of high-level Petri nets, and of its low-level counter part, Petri Boxes Calculus (PBC). We intro...
Hanna Klaudel, Franck Pommereau