Search Sciweavers | Sciweavers

4074 search results - page 38 / 815

» Abstract Graph Transformation

click to vote

ENTCS
2007

114views more ENTCS 2007»

A Graph Abstract Machine Describing Event Structure Composition

14 years 9 months ago

Download www.pps.jussieu.fr

Abstract Machine Describing Event Structure Composition Claudia Faggian and Mauro Piccolo 1 ,2 ,3 Dipartimento di Matematica Pura e Applicata – PPS Universit´a di Padova – Par...

Claudia Faggian, Mauro Piccolo

claim paper

Read More »

106

click to vote

MPC
2010
Springer

246views Mathematics» more MPC 2010»

Abstraction of Object Graphs in Program Verification

14 years 11 months ago

Download sei.pku.edu.cn

ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...

Yifeng Chen, Jeff W. Sanders

claim paper

Read More »

click to vote

GBRPR
2007
Springer

108views Pattern Recognition» more GBRPR 2007»

Graph-Based Perceptual Segmentation of Stereo Vision 3D Images at Multiple Abstraction Levels

15 years 4 months ago

Download carbon.videolectures.net

D Images at Multiple Abstraction Levels Rodrigo Moreno∗, Miguel Angel Garcia∗∗ and Domenec Puig∗ (∗)Intelligent Robotics and Computer Vision Group, Rovira i Virgili Unive...

Rodrigo Moreno, Miguel Angel García, Dom&eg...

claim paper

Read More »

click to vote

SARA
2009
Springer

257views Artificial Intelligence» more SARA 2009»

Cluster Graphs as Abstractions for Constraint Satisfaction Problems

15 years 4 months ago

Download www.cs.hunter.cuny.edu

Susan L. Epstein, Xingjian Li

claim paper

Read More »