Search Sciweavers | Sciweavers

13383 search results - page 58 / 2677

» Abstractions from proofs

click to vote

ROBIO
2006
IEEE

156views Robotics» more ROBIO 2006»

Abstraction of Odor Source Declaration Algorithm from Moth-Inspired Plume Tracing Strategies

15 years 3 months ago

Download www.cs.csubak.edu

—A moth behavior-inspired strategy, including tracing a chemical plume to its source and declaring the source location, was tested in near shore ocean conditions via a REMUS unde...

Wei Li

claim paper

Read More »

click to vote

BPM
2005
Springer

88views Business» more BPM 2005»

Mining Hierarchies of Models: From Abstract Views to Concrete Specifications

15 years 3 months ago

Download dns2.icar.cnr.it

Gianluigi Greco, Antonella Guzzo, Luigi Pontieri

claim paper

Read More »

click to vote

DILS
2005
Springer

108views Life Sciences» more DILS 2005»

Collaborative Curation of Data from Bio-medical Texts and Abstracts and Its integration

15 years 3 months ago

Download www.public.asu.edu

Chitta Baral, Hasan Davulcu, Mutsumi Nakamura, Pra...

claim paper

Read More »

click to vote

ECML
2005
Springer

84views Machine Learning» more ECML 2005»

On the LearnAbility of Abstraction Theories from Observations for Relational Learning

15 years 3 months ago

Download www.di.uniba.it

Stefano Ferilli, Teresa Maria Altomare Basile, Nic...

claim paper

Read More »

click to vote

GPCE
2005
Springer

75views Programming Languages» more GPCE 2005»

Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers