Sciweavers

5707 search results - page 11 / 1142

» Symbolic Simulation - Techniques and Applications

17

BDA
2003

101views Knowledge Management» more BDA 2003»

Mining association rules with multiple Min-supports - Application to Symbolic data

13 years 9 months ago

Mining association rules with multiple Min-supports - Application to Symbolic data

Download www.prism.uvsq.fr

Tao Wan, Karine Zeitouni

claim paper

Read More »

3

IFE
2008

31views more IFE 2008»

An industrial application of symbolic model checking

13 years 7 months ago

An industrial application of symbolic model checking

Download preibusch.de

Florian Kammüller, Sören Preibusch

claim paper

Read More »

20

LISP
2007

54views more LISP 2007»

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

13 years 7 months ago

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

Download osl.cs.uiuc.edu

José Meseguer, Prasanna Thati

claim paper

Read More »

23

IJDAR
2000

77views more IJDAR 2000»

Symbol and character recognition: application to engineering drawings

13 years 7 months ago

Symbol and character recognition: application to engineering drawings

Download hal.archives-ouvertes.fr

: In this paper, we consider the general problem of technical document interpretation, applied to the documents of the French Telephonic Operator, France Telecom. More precisely, w...

Sébastien Adam, Jean-Marc Ogier, Claude Car...

claim paper

Read More »

15

JISE
1998

62views more JISE 1998»

A Case Study: Synthesis and Exploration of Instruction Set Design for Application-Specific Symbolic Computing

13 years 7 months ago

A Case Study: Synthesis and Exploration of Instruction Set Design for Application-Specific Symbolic Computing

Download cadal.cse.nsysu.edu.tw

Ing-Jer Huang

claim paper

Read More »

« Prev « First page 11 / 1142 Last » Next »