Search Sciweavers | Sciweavers

31387 search results - page 128 / 6278

» Abstracts

146

click to vote

VR
2008
IEEE

129views Virtual Reality» more VR 2008»

A Mixed Reality Approach for Merging Abstract and Concrete Knowledge

16 years 1 months ago

Download www.cise.ufl.edu

John Quarles, Samsun (Sem) Lampotang, Ira Fischler...

claim paper

Read More »

158

click to vote

AIMSA
2008
Springer

116views Artificial Intelligence» more AIMSA 2008»

Abstract Argumentation Scheme Frameworks

16 years 1 months ago

Download www.csc.liv.ac.uk

Katie Atkinson, Trevor J. M. Bench-Capon

claim paper

Read More »

104

click to vote

ACSD
2007
IEEE

90views Hardware» more ACSD 2007»

Using CTL formulae as component abstraction in a design and verification flow

16 years 1 months ago

Download www.lsv.ens-cachan.fr

Cécile Braunstein, Emmanuelle Encrenaz

claim paper

Read More »

138

click to vote

CGO
2007
IEEE

101views Software Engineering» more CGO 2007»

Graph-Based Procedural Abstraction

16 years 1 months ago

Download www2.informatik.uni-erlangen.de

A. Dreweke, Marc Wörlein, Ingrid Fischer, D. ...

claim paper

Read More »

131

click to vote

CSFW
2007
IEEE

64views Security Privacy» more CSFW 2007»

Causality-based Abstraction of Multiplicity in Security Protocols

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers