Search Sciweavers | Sciweavers

17054 search results - page 216 / 3411

» Logics of Dynamical Systems

157

click to vote

FPL
2001
Springer

90views Hardware» more FPL 2001»

Implementing a Hidden Markov Model Speech Recognition System in Programmable Logic

15 years 11 months ago

Download eprints.bham.ac.uk

Stephen J. Melnikoff, Steven F. Quigley, Martin J....

claim paper

Read More »

112

click to vote

IEAAIE
2001
Springer

83views Artificial Intelligence» more IEAAIE 2001»

Linguistic and Logical Tools for an Advanced Interactive Speech System in Spanish

15 years 11 months ago

Download www-gth.die.upm.es

Jordi Alvarez, Victoria Arranz, Núria Caste...

claim paper

Read More »

184

click to vote

APSEC
2000
IEEE

104views Software Engineering» more APSEC 2000»

A process logic for distributed system synthesis

15 years 11 months ago

Download staff.aist.go.jp

Yoshinao Isobe, Kazuhito Ohmaki

claim paper

Read More »

146

click to vote

DAC
2000
ACM

103views Computer Architecture» more DAC 2000»

BDS: a BDD-based logic optimization system

15 years 11 months ago

Download www.ecs.umass.edu

Congguang Yang, Maciej J. Ciesielski, Vigyan Singh...

claim paper

Read More »

155

click to vote

STACS
1998
Springer

87views Theoretical Computer Science» more STACS 1998»

Optimal Proof Systems for Propositional Logic and Complete Sets

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers