Search Sciweavers | Sciweavers

2440 search results - page 4 / 488

» Abstraction Learning

click to vote

CAV
2010
Springer

214views Hardware» more CAV 2010»

Learning Component Interfaces with May and Must Abstractions

15 years 4 months ago

Download people.csail.mit.edu

elor Thesis: Demand Driven Abstraction Reﬁnement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...

Rishabh Singh, Dimitra Giannakopoulou, Corina S. P...

claim paper

Read More »

Voted

SIGGRAPH
1995
ACM

113views Computer Graphics» more SIGGRAPH 1995»

Automated learning of muscle-actuated locomotion through control abstraction

15 years 4 months ago

Download www.cs.ucla.edu

Control Abstraction Radek Grzeszczuk and Demetri Terzopoulos Department of Computer Science, University of Toronto 1

Radek Grzeszczuk, Demetri Terzopoulos

claim paper

Read More »

Voted

VMCAI
2010
Springer

172views Software Engineering» more VMCAI 2010»

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction

15 years 7 months ago

Download ropas.snu.ac.kr

Yungbum Jung, Soonho Kong, Bow-Yaw Wang, Kwangkeun...

claim paper

Read More »

Voted

DIS
2009
Springer

95views Theoretical Computer Science» more DIS 2009»

Discovering Abstract Concepts to Aid Cross-Map Transfer for a Learning Agent

15 years 7 months ago

Download www-desir.lip6.fr

Cédric Herpson, Vincent Corruble

claim paper

Read More »

click to vote

HICSS
2007
IEEE

107views Biometrics» more HICSS 2007»

An Abstract Transcript Notation for Analyzing Interactional Construction of Meaning in Online Learning

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers