Sciweavers

980 search results - page 22 / 196
» On Negative Bases
Sort
View
CLEF
2010
Springer
13 years 8 months ago
Bioingenium at ImageClefmed 2010: A Latent Semantic Approach
This paper describes the participation of the Bioingenium Research Group in the ad hoc Medical Image Retrieval task for the 2010 ImageCLEF forum. The work aimed to explore semantic...
Jose G. Moreno, Juan C. Caicedo, Fabio A. Gonz&aac...
EPIA
1995
Springer
13 years 11 months ago
A Model Theory for Paraconsistent Logic Programming
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with explicit negation WFSX p. We define a truth-function...
Carlos Viegas Damásio, Luís Moniz Pe...
SBCCI
2005
ACM
86views VLSI» more  SBCCI 2005»
14 years 1 months ago
Ultra-low power CMOS cells for temperature sensors
Temperature sensors and voltage references require cells that generate both PTAT (Proportional To Absolute Temperature) and NTC (Negative Temperature Coefficient) voltages. We pre...
Conrado Rossi, Pablo Aguirre
STOC
2006
ACM
107views Algorithms» more  STOC 2006»
14 years 8 months ago
On basing one-way functions on NP-hardness
We consider the possibility of basing one-way functions on NP-Hardness; that is, we study possible reductions from a worst-case decision problem to the task of average-case invert...
Adi Akavia, Oded Goldreich, Shafi Goldwasser, Dana...
MFCS
2004
Springer
14 years 1 months ago
Decidability of Trajectory-Based Equations
We consider the decidability of existence of solutions to language equations involving the operations of shuffle and deletion along trajectories. These operations generalize the o...
Michael Domaratzki, Kai Salomaa