Search Sciweavers | Sciweavers

4074 search results - page 38 / 815

» Abstract Graph Transformation

109

click to vote

ENTCS
2007

114views more ENTCS 2007»

A Graph Abstract Machine Describing Event Structure Composition

15 years 1 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 »

144

click to vote

MPC
2010
Springer

246views Mathematics» more MPC 2010»

Abstraction of Object Graphs in Program Verification

15 years 3 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 7 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 »

113

click to vote

SARA
2009
Springer

257views Artificial Intelligence» more SARA 2009»

Cluster Graphs as Abstractions for Constraint Satisfaction Problems

15 years 8 months ago

Download www.cs.hunter.cuny.edu

Susan L. Epstein, Xingjian Li

claim paper