Search Sciweavers | Sciweavers

2225 search results - page 37 / 445

» Logical Structures in the Lexicon

126

click to vote

INFOCOM
2009
IEEE

191views Communications» more INFOCOM 2009»

Distributed Arrays: A P2P Data Structure for Efficient Logical Arrays

15 years 10 months ago

Download honiden-lab.ex.nii.ac.jp

Daisuke Fukuchi, Christian Sommer 0002, Yuichi Sei...

claim paper

Read More »

click to vote

CONCUR
2009
Springer

187views Distributed And Parallel Com...» more CONCUR 2009»

A Logic-Based Framework for Reasoning about Composite Data Structures

15 years 10 months ago

Download www.memics.cz

Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, M...

claim paper

Read More »

104

Voted

ICLP
2007
Springer

90views Automated Reasoning» more ICLP 2007»

Visual Logic Programming Method Based on Structural Analysis and Design Technique

15 years 9 months ago

Download www.cplire.ru

Alexei A. Morozov

claim paper

Read More »

click to vote

SAC
2006
ACM

140views Applied Computing» more SAC 2006»

A constraint logic programming approach to 3D structure determination of large protein complexes

15 years 9 months ago

Download www.brown.edu

Alessandro Dal Palù, Enrico Pontelli, Jing ...

claim paper

Read More »

115

click to vote

ISVLSI
2002
IEEE

84views VLSI» more ISVLSI 2002»

Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers