Sciweavers

5269 search results - page 259 / 1054
» order 2007
Sort
View
ENDM
2007
89views more  ENDM 2007»
15 years 7 months ago
Homomorphisms and Polynomial Invariants of Graphs
This paper initiates a study of the connection between graph homomorphisms and the Tutte polynomial. This connection enables us to extend the study to other important polynomial i...
Delia Garijo, Jaroslav Nesetril, M. P. Revuelta
ENGL
2007
90views more  ENGL 2007»
15 years 7 months ago
Stabilization of LTI Switched Systems with Input Time Delay
—This paper deals with stabilization of LTI switched systems with input time delay. A description of systems’ stabilization is presented. Common Lyapunov function is introduced...
Lin Lin
ENTCS
2007
104views more  ENTCS 2007»
15 years 7 months ago
General Reversibility
The first and the second author introduced reversible ccs (rccs) in order to model concurrent computations where certain actions are allowed to be reversed. Here we t the core of...
Vincent Danos, Jean Krivine, Pawel Sobocinski
170
Voted
FSS
2007
89views more  FSS 2007»
15 years 7 months ago
Fuzzy logic programming via multilattices
We investigate the use of multilattices as the set of truth-values underlying a general fuzzy logic programming framework. On the one hand, some theoretical results about ideals o...
Jesús Medina, Manuel Ojeda-Aciego, Jorge Ru...
INFORMATICALT
2007
95views more  INFORMATICALT 2007»
15 years 7 months ago
Neuro-IG: A Hybrid System for Selection and Elimination of Predictor Variables and non Relevant Individuals
In this article we present the general architecture of a hybrid neuro-symbolic system for the selection and stepwise elimination of predictor variables and non-relevant individuals...
Baghdad Atmani, Bouziane Beldjilali