Search Sciweavers | Sciweavers

13383 search results - page 57 / 2677

» Abstractions from proofs

148

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)

16 years 6 months ago

Download www.cecm.sfu.ca

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

claim paper

Read More »

126

click to vote

HICSS
2008
IEEE

106views Biometrics» more HICSS 2008»

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

16 years 19 days ago

Download csdl2.computer.org

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

claim paper

Read More »

119

click to vote

IROS
2007
IEEE

101views Robotics» more IROS 2007»

Automatic robot programming from learned abstract task knowledge

16 years 14 days ago

Download wwwiaim.ira.uka.de

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

claim paper

Read More »

147

click to vote

PG
2007
IEEE

171views Computer Graphics» more PG 2007»

Abstract Line Drawings from 2D Images

16 years 14 days ago

Download www.cs.umsl.edu

Minjung Son, Henry Kang, Yunjin Lee, Seungyong Lee

claim paper

Read More »

120

click to vote

APN
2007
Springer

73views Artificial Intelligence» more APN 2007»

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

16 years 11 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers