Search Sciweavers | Sciweavers

1549 search results - page 4 / 310

» On the rules of intermediate logics

click to vote

COMPSAC
2009
IEEE

187views Software Engineering» more COMPSAC 2009»

Modular Certification of Low-Level Intermediate Representation Programs

13 years 8 months ago

Download soft.cs.tsinghua.edu.cn

Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...

Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang

claim paper

Read More »

click to vote

ENTCS
2006

146views more ENTCS 2006»

Relating State-Based and Process-Based Concurrency through Linear Logic

13 years 7 months ago

Download www.qatar.cmu.edu

This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...

Iliano Cervesato, Andre Scedrov

claim paper

Read More »

click to vote

ICANN
2005
Springer

225views Neural Networks» more ICANN 2005»

Learning Features of Intermediate Complexity for the Recognition of Biological Motion

14 years 1 months ago

Download web.mit.edu

Humans can recognize biological motion from strongly impoverished stimuli, like point-light displays. Although the neural mechanism underlying this robust perceptual process have n...

Rodrigo Sigala, Thomas Serre, Tomaso Poggio, Marti...

posted by tserre

Read More »

click to vote

EUSFLAT
2009

94views Fuzzy Logic» more EUSFLAT 2009»

A Restriction Level Approach for the Representation and Evaluation of Fuzzy Association Rules

13 years 5 months ago

Download www.eusflat.org

Miguel Delgado, M. Dolores Ruiz, Daniel Sán...

claim paper

Read More »