Search Sciweavers | Sciweavers

13383 search results - page 61 / 2677

» Abstractions from proofs

181

click to vote

RSP
1999
IEEE

160views Control Systems» more RSP 1999»

Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping

15 years 10 months ago

Download www.fzi.de

SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...

Oliver Bringmann, Wolfgang Rosenstiel, Annette Mut...

claim paper

Read More »

145

click to vote

KDD
1994
ACM

129views Data Mining» more KDD 1994»

Abstraction of High Level Concepts from Numerical Values in Databases

15 years 10 months ago

Download www.aaai.org

Wesley W. Chu, Kuorong Chiang

claim paper

Read More »

122

click to vote

ATAL
2009
Springer

105views Intelligent Agents» more ATAL 2009»

From abstract qualities to concrete specification using guidance policies

15 years 10 months ago

Download people.cis.ksu.edu

Scott J. Harmon, Scott A. DeLoach, Robby

claim paper

Read More »

107

click to vote

CG
2006
Springer

145views Computer Graphics» more CG 2006»

Abstracting Knowledge from Annotated Chinese-Chess Game Records

15 years 10 months ago

Download ntur.lib.ntu.edu.tw

Bo-Nian Chen, Pangfeng Liu, Shun-chin Hsu, Tsan-sh...

claim paper

Read More »

139

click to vote

ACSD
2001
IEEE

103views Hardware» more ACSD 2001»

Abstracting from Failure Probabilities

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers