Search Sciweavers | Sciweavers

2766 search results - page 30 / 554

» Hybridizing a Logical Framework

click to vote

CSL
2005
Springer

89views Automated Reasoning» more CSL 2005»

On the Complexity of Hybrid Logics with Binders

14 years 3 months ago

Download www.illc.uva.nl

Balder ten Cate, Massimo Franceschet

claim paper

Read More »

click to vote

ISMVL
2003
IEEE

101views Hardware» more ISMVL 2003»

Complementary Self-Biased Scheme for the Robust Design of CMOS/SET Hybrid Multi-Valued Logic

14 years 3 months ago

Download smdl.snu.ac.kr

Ki-Whan Song, Sang-Hoon Lee, Dae Hwan Kim, Kyung R...

claim paper

Read More »

click to vote

ARVLSI
1999
IEEE

151views VLSI» more ARVLSI 1999»

Clock-Powered CMOS: A Hybrid Adiabatic Logic Style for Energy-Efficient Computing

14 years 2 months ago

Download www.ai.mit.edu

Nestoras Tzartzanis, William C. Athas

claim paper

Read More »

click to vote

CORR
2008
Springer

94views Education» more CORR 2008»

Complexity of Hybrid Logics over Transitive Frames

13 years 10 months ago

Download www.csc.liv.ac.uk

Martin Mundhenk, Thomas Schneider 0002, Thomas Sch...

claim paper

Read More »

click to vote

JACIII
2008

83views more JACIII 2008»

Hybrid GPS/GSM Positioning Systems Design with Fuzzy Logic

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers