Sciweavers

CORR
2008
Springer
155views Education» more  CORR 2008»
14 years 19 days ago
AceWiki: A Natural and Expressive Semantic Wiki
We present AceWiki, a prototype of a new kind of semantic wiki using the controlled natural language Attempto Controlled English (ACE) for representing its content. ACE is a subse...
Tobias Kuhn
CORR
2008
Springer
159views Education» more  CORR 2008»
14 years 19 days ago
Compound Multiple Access Channels with Partial Cooperation
A two-user discrete memoryless compound multiple access channel with a common message and conferencing decoders is considered. The capacity region is characterized in the special ...
Osvaldo Simeone, Deniz Gündüz, H. Vincen...
CORR
2008
Springer
69views Education» more  CORR 2008»
14 years 19 days ago
Improved Algorithms for Approximate String Matching (Extended Abstract)
Dimitrios P. Papamichail, Georgios P. Papamichail
CORR
2008
Springer
107views Education» more  CORR 2008»
14 years 19 days ago
The Degree Distribution of Random k-Trees
A power law degree distribution is established for a graph evolution model based on the graph class of k-trees. This k-tree-based graph process can be viewed as an idealized model...
Yong Gao
CORR
2008
Springer
115views Education» more  CORR 2008»
14 years 19 days ago
Positive circuits and maximal number of fixed points in discrete dynamical systems
We consider a product X of n finite intervals of integers, a map F from X to itself, the asynchronous state transition graph (F) on X that Thomas proposed as a model for the dynam...
Adrien Richard
CORR
2008
Springer
140views Education» more  CORR 2008»
14 years 19 days ago
Encapsulation theory fundamentals
This paper proposes a theory of encapsulation, taking the internationally standardized definition of that term and establishing a relationship between subsets and the elements tha...
Edmund Kirwan
CORR
2008
Springer
114views Education» more  CORR 2008»
14 years 19 days ago
Modeling Time in Computing: A Taxonomy and a Comparative Survey
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, M...
CORR
2008
Springer
57views Education» more  CORR 2008»
14 years 19 days ago
Square Complex Orthogonal Designs with Low PAPR and Signaling Complexity
Abstract--Space-Time Block Codes from square complex orthogonal designs (SCOD) have been extensively studied and most of the existing SCODs contain large number of zero. The zeros ...
Smarajit Das, B. Sundar Rajan
CORR
2008
Springer
110views Education» more  CORR 2008»
14 years 19 days ago
Rational streams coalgebraically
Abstract. We study rational streams (over a field) from a coalgebraic perspective. Exploiting the finality of the set of streams, we present an elementary and uniform proof of the ...
Jan J. M. M. Rutten
CORR
2008
Springer
85views Education» more  CORR 2008»
14 years 19 days ago
Quantifying Timing Leaks and Cost Optimisation
We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...