Search Sciweavers | Sciweavers

13383 search results - page 57 / 2677

» Abstractions from proofs

click to vote

RECOMB
2007
Springer

106views Computational Biology» more RECOMB 2007»

Inferring a Duplication, Speciation and Loss History from a Gene Tree (Extended Abstract)

14 years 10 months ago

Download www.cecm.sfu.ca

Cedric Chauve, Jean-Philippe Doyon, Nadia El-Mabro...

claim paper

Read More »

click to vote

HICSS
2008
IEEE

106views Biometrics» more HICSS 2008»

Generating an Abstract User Interface from a Discourse Model Inspired by Human Communication

14 years 4 months ago

Download csdl2.computer.org

Cristian Bogdan, Jürgen Falb, Hermann Kaindl,...

claim paper

Read More »

click to vote

IROS
2007
IEEE

101views Robotics» more IROS 2007»

Automatic robot programming from learned abstract task knowledge

14 years 4 months ago

Download wwwiaim.ira.uka.de

Steffen Knoop, Michael Pardowitz, Rüdiger Dil...

claim paper

Read More »

click to vote

PG
2007
IEEE

171views Computer Graphics» more PG 2007»

Abstract Line Drawings from 2D Images

14 years 4 months ago

Download www.cs.umsl.edu

Minjung Son, Henry Kang, Yunjin Lee, Seungyong Lee

claim paper

Read More »

click to vote

APN
2007
Springer

73views Artificial Intelligence» more APN 2007»

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers