Search Sciweavers | Sciweavers

13383 search results - page 58 / 2677

» Abstractions from proofs

154

Voted

ROBIO
2006
IEEE

156views Robotics» more ROBIO 2006»

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

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

115

click to vote

BPM
2005
Springer

88views Business» more BPM 2005»

Mining Hierarchies of Models: From Abstract Views to Concrete Specifications

15 years 10 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 10 months ago

Download www.public.asu.edu

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

claim paper

Read More »

111

Voted

ECML
2005
Springer

84views Machine Learning» more ECML 2005»

On the LearnAbility of Abstraction Theories from Observations for Relational Learning

15 years 10 months ago

Download www.di.uniba.it

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

claim paper

Read More »

Voted

GPCE
2005
Springer

75views Programming Languages» more GPCE 2005»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers