Sciweavers

CORR
2010
Springer
98views Education» more  CORR 2010»
13 years 7 months ago
Linear Operator Channels over Finite Fields
Motivated by random linear network coding, we study the communication through channels, called linear operator channels (LOCs), that perform linear operation over finite fields. Fo...
Shenghao Yang, Siu-Wai Ho, Jin Meng, En-Hui Yang
CORR
2010
Springer
139views Education» more  CORR 2010»
13 years 7 months ago
A proof Procedure for Testing Membership in Regular Expressions
We propose an algorithm that tests membership for regular expressions and show that the algorithm is correct. This algorithm is written in the style of a sequent proof system. The...
Keehang Kwon, Hong Pyo Ha, Jiseung Kim
CORR
2010
Springer
128views Education» more  CORR 2010»
13 years 7 months ago
Partial monoids: associativity and confluence
A partial monoid P is a set with a partial multiplication
Laurent Poinsot, Gérard Duchamp, Christophe...
CORR
2010
Springer
114views Education» more  CORR 2010»
13 years 7 months ago
On the Stability of Empirical Risk Minimization in the Presence of Multiple Risk Minimizers
Abstract--Recently Kutin and Niyogi investigated several notions of algorithmic stability--a property of a learning map conceptually similar to continuity--showing that training-st...
Benjamin I. P. Rubinstein, Aleksandr Simma
CORR
2010
Springer
91views Education» more  CORR 2010»
13 years 7 months ago
Ultrametric watersheds: a bijection theorem for hierarchical edge-segmentation
Abstract. We study hierachical segmentation in the framework of edgeweighted graphs. We define ultrametric watersheds as topological watersheds null on the minima. We prove that th...
Laurent Najman
CORR
2010
Springer
65views Education» more  CORR 2010»
13 years 7 months ago
Finding and counting vertex-colored subtrees
Sylvain Guillemot, Florian Sikora
CORR
2010
Springer
153views Education» more  CORR 2010»
13 years 7 months ago
Towards Parameterized Regular Type Inference Using Set Constraints
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
Francisco Bueno, Jorge A. Navas, Manuel V. Hermene...
CORR
2010
Springer
130views Education» more  CORR 2010»
13 years 7 months ago
Linear Sum Capacity for Gaussian Multiple Access Channels with Feedback
The capacity region of the N-sender additive white Gaussian noise (AWGN) multiple access channel (MAC) with feedback is not known in general, despite significant contributions by C...
Ehsan Ardestanizadeh, Michele A. Wigger, Young-Han...
CORR
2010
Springer
63views Education» more  CORR 2010»
13 years 7 months ago
Position Analysis of the RRP-3(SS) Multi-Loop Spatial Structure
The paper presents the position analysis of a spatial structure composed of two platforms mutually connected by one RRP and three SS serial kinematic chains, where R, P, and S sta...
Carlo Innocenti, Philippe Wenger
CORR
2010
Springer
109views Education» more  CORR 2010»
13 years 7 months ago
Cuspidal and Noncuspidal Robot Manipulators
This article synthezises the most important results on the kinematics of cuspidal manipulators i.e. nonredundant manipulators that can change posture without meeting a singularity...
Philippe Wenger