Sciweavers

13383 search results - page 57 / 2677
» Abstractions from proofs
Sort
View
RECOMB
2007
Springer
16 years 5 months ago
Inferring a Duplication, Speciation and Loss History from a Gene Tree (Extended Abstract)
Cedric Chauve, Jean-Philippe Doyon, Nadia El-Mabro...
112
Voted
HICSS
2008
IEEE
106views Biometrics» more  HICSS 2008»
15 years 11 months ago
Generating an Abstract User Interface from a Discourse Model Inspired by Human Communication
Cristian Bogdan, Jürgen Falb, Hermann Kaindl,...
IROS
2007
IEEE
101views Robotics» more  IROS 2007»
15 years 11 months ago
Automatic robot programming from learned abstract task knowledge
Steffen Knoop, Michael Pardowitz, Rüdiger Dil...
PG
2007
IEEE
15 years 11 months ago
Abstract Line Drawings from 2D Images
Minjung Son, Henry Kang, Yunjin Lee, Seungyong Lee
APN
2007
Springer
15 years 11 months ago
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Pierre Ganty, Jean-François Raskin, Laurent...