Search Results

FTSyn: a framework for automatic synthesis of fault-tolerance

Authors: Ebnenasir, Ali; Kulkarni, Sandeep; Arora, Anish

Source: International Journal on Software Tools for Technology Transfer, Volume 10, Number 5, October 2008 , pp. 455-471(17)

Publisher: Springer

Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis

Authors: Ireland, Andrew; Stark, Jamie

Source: Automated Software Engineering, Volume 13, Number 1, January 2006 , pp. 65-105(41)

Publisher: Springer

Chemical and Biological Integrity in Natural Products Screening

Authors: Harrigan, George G.; Goetz, Gilles H.

Source: Combinatorial Chemistry & High Throughput Screening, Volume 8, Number 6, September 2005 , pp. 529-534(6)

Publisher: Bentham Science Publishers

Proper Name Pronunciations for Speech Technology Applications: Special Issue on Speech Synthesis: Part II

Author: Spiegel M.F.

Source: International Journal of Speech Technology, Volume 6, Number 4, October 2003 , pp. 419-427(9)

Publisher: Springer

Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation

Authors: Ellman T.; Deak R.; Fotinatos J.

Source: Automated Software Engineering, Volume 10, Number 4, October 2003 , pp. 367-398(32)

Publisher: Springer

Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm

Author: Monroy R.

Source: Automated Software Engineering, Volume 10, Number 3, July 2003 , pp. 247-269(23)

Publisher: Springer

Tagging gene and protein names in biomedical text

Authors: Tanabe, Lorraine; Wilbur, W. John

Source: Bioinformatics, Volume 18, Number 8, August 2002 , pp. 1124-1132(9)

Publisher: Oxford University Press

A comparative docking study and the design of potentially selective MMP inhibitors

Authors: Hanessian S.; Moitessier N.; Therrien E.

Source: Journal of Computer-Aided Molecular Design, Volume 15, Number 10, October 2001 , pp. 873-881(9)

Publisher: Springer

Automated Synthesis of Recursive Programs from a Logical Specification

Authors: Chazarain J.; Muller S.

Source: Journal of Automated Reasoning, Volume 21, Number 2, October 1998 , pp. 233-275(43)

Publisher: Springer

Building health plan databases to risk adjust outcomes and payments

Authors: Hornbrook M.; Goodman M.; Fishman P.; Meenan R.; O'Keeffe-Rosetti M.; Bachman D.

Source: International Journal for Quality in Health Care, Volume 10, Number 6, December 1998 , pp. 531-538(8)

Publisher: Oxford University Press

Advances in Human-Interface Engineering for Reverse Directory Assistance (ACNA) Services

Author: Spiegel M.F.

Source: International Journal of Speech Technology, Volume 1, Number 2, 1997 , pp. 91-101(11)

Publisher: Springer

Advanced database preprocessing and preparations that enable telecommunication services based on speech synthesis

Author: Spiegel M.F.

Source: Speech Communication, Volume 23, Number 1, October 1997 , pp. 51-62(12)

Publisher: Elsevier

Understanding Interleaved Code

Authors: Rugaber S.; Stirewalt K.; Wills L.M.

Source: Automated Software Engineering, Volume 3, Numbers 1-2, July 1996 , pp. 47-76(30)

Publisher: Springer

Equational programming in -calculus via SL-systems. Part 1

Author: Tronci E.

Source: Theoretical Computer Science, Volume 160, Number 1, 10 June 1996 , pp. 145-184(40)

Publisher: Elsevier

Equational programming in -calculus via SL-systems. Part 2

Author: Tronci E.

Source: Theoretical Computer Science, Volume 160, Number 1, 10 June 1996 , pp. 185-216(32)

Publisher: Elsevier

Feature based automatic CNC code generation for prismatic parts

Authors: Karadkar R.B.; Pande S.S.

Source: Computers in Industry, Volume 28, Number 2, May 1996 , pp. 137-150(14)

Publisher: Elsevier