Sciweavers

7262 search results - page 276 / 1453
» Reversible Computer Hardware
Sort
View
JUCS
2007
80views more  JUCS 2007»
15 years 3 months ago
Higher-Order Lazy Functional Slicing
: Program slicing is a well known family of techniques intended to identify and isolate code fragments which depend on, or are depended upon, specific program entities. This is pa...
Nuno F. Rodrigues, Luís Soares Barbosa
MICS
2007
84views more  MICS 2007»
15 years 2 months ago
Pseudospectra of Matrix Polynomials that Are Expressed in Alternative Bases
Spectra and pseudospectra of matrix polynomials are of interest in geometric intersection problems, vibration problems, and analysis of dynamical systems. In this note we consider ...
Robert M. Corless, Nargol Rezvani, Amirhossein Ami...
ECAI
2010
Springer
15 years 1 months ago
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics
We investigate the complexity of axiom pinpointing for different members of the DL-Lite family of Description Logics. More precisely, we consider the problem of enumerating all mi...
Rafael Peñaloza, Baris Sertkaya
118
Voted
ICASSP
2011
IEEE
14 years 7 months ago
A Bayesian marked point process for object detection. Application to muse hyperspectral data
Marked point processes have received a great attention in the recent years, for their ability to extract objects in large data sets as those obtained in biological studies or hype...
Florent Chatelain, Aude Costard, Olivier J. J. Mic...

Publication
195views
14 years 1 months ago
Analog Genetic Encoding for the Evolution of Circuits and Networks
This paper describes a new kind of genetic representation called analog genetic encoding (AGE). The representation is aimed at the evolutionary synthesis and reverse engineering of...
Claudio Mattiussi, Dario Floreano