Sciweavers

IPL
2008
95views more  IPL 2008»
13 years 4 months ago
Approximating maximum satisfiable subsystems of linear equations of bounded width
We consider the problem known as MAX-SATISFY: given a system of m linear equations over the rationals, find a maximum set of equations that can be satisfied. Let r be the width of...
Zeev Nutov, Daniel Reichman
IANDC
2008
109views more  IANDC 2008»
13 years 4 months ago
Compositions of extended top-down tree transducers
Abstract. Unfortunately the class of transformations computed by nondeleting and linear extended top-down tree transducers [Graehl, Knight: Training Tree Transducers. HLT-NAACL 200...
Andreas Maletti
ENTCS
2008
75views more  ENTCS 2008»
13 years 4 months ago
Minimality in a Linear Calculus with Iteration
System L is a linear version of G
Sandra Alves, Mário Florido, Ian Mackie, Fr...
ACTA
2006
154views more  ACTA 2006»
13 years 4 months ago
Solving HPP and SAT by P Systems with Active Membranes and Separation Rules
The P systems (or membrane systems) are a class of distributed parallel computing devices of a biochemical type, where membrane division is the frequently investigated way for obta...
Linqiang Pan, Artiom Alhazov
DCC
2010
IEEE
13 years 4 months ago
On linear sets on a projective line
Linear sets generalise the concept of subgeometries in a projective space. They have many applications in finite geometry. In this paper we address two problems for linear sets: t...
Michel Lavrauw, Geertrui Van de Voorde
CORR
2008
Springer
119views Education» more  CORR 2008»
13 years 4 months ago
Self-stabilizing Numerical Iterative Computation
Many challenging tasks in sensor networks, including sensor calibration, ranking of nodes, monitoring, event region detection, collaborative filtering, collaborative signal proces...
Ezra N. Hoch, Danny Bickson, Danny Dolev
CORR
2010
Springer
98views Education» more  CORR 2010»
13 years 4 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
AUTOMATICA
2007
111views more  AUTOMATICA 2007»
13 years 4 months ago
Output feedback variable structure control for linear systems with uncertainties and disturbances
This paper proposes a dynamic output feedback variable structure controller for linear MIMO systems with mismatched and matched normbounded uncertainties and matched nonlinear dis...
PooGyeon Park, Doo Jin Choi, Seong G. Kong
APPML
2008
66views more  APPML 2008»
13 years 4 months ago
On unbounded operators and applications
Assume that Au = f (1) is a solvable linear equation in a Hilbert space H, A is a linear, closed, densely defined, unbounded operator in H, which is not boundedly invertible, so p...
Alexander G. Ramm
ATAL
2010
Springer
13 years 5 months ago
Linear options
Learning, planning, and representing knowledge in large state t multiple levels of temporal abstraction are key, long-standing challenges for building flexible autonomous agents. ...
Jonathan Sorg, Satinder P. Singh