Sciweavers

CORR
2010
Springer
62views Education» more  CORR 2010»
13 years 11 months ago
Portability of Prolog programs: theory and case-studies
(Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since
Jan Wielemaker, Vítor Santos Costa
CORR
2010
Springer
52views Education» more  CORR 2010»
13 years 11 months ago
Towards a Study of Meta-Predicate Semantics
Paulo Moura
CORR
2010
Springer
96views Education» more  CORR 2010»
13 years 11 months ago
Realizing evaluation strategies by hierarchical graph rewriting
We discuss the realization of evaluation strategies for the concurrent constraint-based functional language ccfl within the translation schemata when compiling ccfl programs into t...
Petra Hofstedt
CORR
2010
Springer
99views Education» more  CORR 2010»
13 years 11 months ago
MIMO Identical Eigenmode Transmission System (IETS) - A Channel Decomposition Perspective
In the past few years considerable attention has been given to the design of multiple-input multiple-output (MIMO) eigenmode transmission systems (EMTS). This paper presents an in...
M. Zeeshan Shakir, Tariq S. Durrani
CORR
2010
Springer
132views Education» more  CORR 2010»
13 years 11 months ago
Small NFAs from Regular Expressions: Some Experimental Results
Regular expressions (REs), because of their succinctness and clear syntax, are the common choice to represent regular languages. However, efficient pattern matching or word recogni...
Hugo Gouveia, Nelma Moreira, Rogério Reis
CORR
2010
Springer
85views Education» more  CORR 2010»
13 years 11 months ago
A control-theoretical methodology for the scheduling problem
This paper presents a novel methodology to develop scheduling algorithms. The scheduling problem is phrased as a control problem, and control-theoretical techniques are used to de...
Carlo A. Furia, Alberto Leva, Martina Maggio, Paol...
CORR
2010
Springer
151views Education» more  CORR 2010»
13 years 11 months ago
Fuzzy Ontology Representation using OWL 2
The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this is...
Fernando Bobillo, Umberto Straccia
CORR
2010
Springer
72views Education» more  CORR 2010»
13 years 11 months ago
Rebuilding for Array Codes in Distributed Storage Systems
In distributed storage systems that use coding, the issue of minimizing the communication required to rebuild a storage node after a failure arises. We consider the problem of repa...
Zhiying Wang, Alexandros G. Dimakis, Jehoshua Bruc...
CORR
2010
Springer
55views Education» more  CORR 2010»
13 years 11 months ago
Tableaux for the Lambek-Grishin calculus
Arno Bastenhof
CORR
2010
Springer
149views Education» more  CORR 2010»
13 years 11 months ago
Group Testing with Probabilistic Tests: Theory, Design and Application
Identification of defective members of large populations has been widely studied in the statistics community under the name of group testing. It involves grouping subsets of items...
Mahdi Cheraghchi, Ali Hormati, Amin Karbasi, Marti...