Search Sciweavers | Sciweavers

3457 search results - page 177 / 692

» A Symbol Is Not a Symbol

191

click to vote

AMC
2006

125views more AMC 2006»

A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG

15 years 6 months ago

Download w3.gazi.edu.tr

This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...

Seref Mirasyedioglu, Tolga Güyer

claim paper

Read More »

142

click to vote

ENTCS
2008

76views more ENTCS 2008»

Symbolic and Abstract Interpretation for C/C++ Programs

15 years 6 months ago

Download www.informatik.uni-bremen.de

and Abstract Interpretation for C/C++ Programs Helge L

Helge Löding, Jan Peleska

claim paper

Read More »

112

click to vote

BC
2006

34views more BC 2006»

Symbols as Self-emergent Entities in an Optimization Process of Feature Extraction and Predictions

15 years 6 months ago

Download www.mip.sdu.dk

Peter König, Norbert Krüger

claim paper

Read More »

click to vote

IEICET
2008

47views more IEICET 2008»

Symbol Timing Synchronization Algorithms for Wireless LAN Systems in Multipath Channels

15 years 6 months ago

Download csc.postech.ac.kr

Jooyeol Yang, Kyungwhoon Cheun, Jeongchang Kim

claim paper

Read More »

click to vote

CORR
2006
Springer

57views Education» more CORR 2006»

On Verifying Complex Properties using Symbolic Shape Analysis

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers