Search Sciweavers | Sciweavers

129 search results - page 6 / 26

» hais 2008

110

click to vote

CI
2005

49views more CI 2005»

Query Routing in a Peer-to-Peer Semantic Link Network

15 years 4 months ago

Download kg.ict.ac.cn

Hai Zhuge, Jie Liu, Liang Feng, Xiaoping Sun, Chao...

claim paper

Read More »

click to vote

ENTCS
2008

81views more ENTCS 2008»

Encoding First Order Proofs in SMT

15 years 4 months ago

Download www.lsi.upc.edu

Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher ...

claim paper

Read More »

108

click to vote

SOCO
2008
Springer

150views Software Engineering» more SOCO 2008»

Congruences and ideals in pseudoeffect algebras

15 years 3 months ago

Download lib.xpu.edu.cn

Hai-Yang Li, Sheng-Gang Li

claim paper

Read More »

click to vote

EMSOFT
2008
Springer

91views Software Engineering» more EMSOFT 2008»

State space abstraction for parameterized self-stabilizing embedded systems

15 years 6 months ago

Download users.eecs.northwestern.edu

Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...

claim paper

Read More »

click to vote

DAC
2008
ACM

101views Computer Architecture» more DAC 2008»

An efficient incremental algorithm for min-area retiming

16 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers