Search Sciweavers | Sciweavers

13383 search results - page 61 / 2677

» Abstractions from proofs

156

click to vote

RSP
1999
IEEE

160views Control Systems» more RSP 1999»

Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping

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

134

click to vote

KDD
1994
ACM

129views Data Mining» more KDD 1994»

Abstraction of High Level Concepts from Numerical Values in Databases

15 years 9 months ago

Download www.aaai.org

Wesley W. Chu, Kuorong Chiang

claim paper

Read More »

110

click to vote

ATAL
2009
Springer

105views Intelligent Agents» more ATAL 2009»

From abstract qualities to concrete specification using guidance policies

15 years 9 months ago

Download people.cis.ksu.edu

Scott J. Harmon, Scott A. DeLoach, Robby

claim paper

Read More »

click to vote

CG
2006
Springer

145views Computer Graphics» more CG 2006»

Abstracting Knowledge from Annotated Chinese-Chess Game Records

15 years 8 months ago

Download ntur.lib.ntu.edu.tw

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

claim paper

Read More »

125

Voted

ACSD
2001
IEEE

103views Hardware» more ACSD 2001»

Abstracting from Failure Probabilities

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers