Search Sciweavers | Sciweavers

581 search results - page 3 / 117

» formats 2006

Voted

JCSS
2000

98views more JCSS 2000»

Rooted Branching Bisimulation as a Congruence

14 years 10 months ago

Download www.cs.vu.nl

This article presents a congruence format, in structural operational semantics, for rooted branching bisimulation equivalence. The format imposes additional requirements on Groote...

Wan Fokkink

claim paper

Read More »

click to vote

ISM
2006
IEEE

87views Multimedia» more ISM 2006»

On Format-Compliant Iterative Encryption of JPEG2000

15 years 4 months ago

Download student.cosy.sbg.ac.at

Thomas Stütz, Andreas Uhl

claim paper

Read More »

click to vote

ANTSW
2006
Springer

148views Artificial Intelligence» more ANTSW 2006»

Chain Based Path Formation in Swarms of Robots

15 years 2 months ago

Download www.coral-lab.org

Shervin Nouyan, Marco Dorigo

claim paper

Read More »

click to vote

CSREAESA
2006

101views Embedded Systems» more CSREAESA 2006»

Towards a CLI Assembly Format for Embedded Systems

14 years 11 months ago

Download ww1.ucmss.com

Bernhard Rabe

claim paper

Read More »

click to vote

ANOR
2006

52views more ANOR 2006»

Multi-objectives for incremental cell formation problem

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers