Search Sciweavers | Sciweavers

2440 search results - page 4 / 488

» Abstraction Learning

180

click to vote

CAV
2010
Springer

214views Hardware» more CAV 2010»

Learning Component Interfaces with May and Must Abstractions

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

124

click to vote

SIGGRAPH
1995
ACM

113views Computer Graphics» more SIGGRAPH 1995»

Automated learning of muscle-actuated locomotion through control abstraction

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

182

click to vote

VMCAI
2010
Springer

172views Software Engineering» more VMCAI 2010»

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

16 years 2 months ago

Download ropas.snu.ac.kr

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

claim paper

Read More »

150

click to vote

DIS
2009
Springer

95views Theoretical Computer Science» more DIS 2009»

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

16 years 2 months ago

Download www-desir.lip6.fr

Cédric Herpson, Vincent Corruble

claim paper

Read More »

111

Voted

HICSS
2007
IEEE

107views Biometrics» more HICSS 2007»

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

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers