Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
4609
search results - page 9 / 922
»
Automatic Generation of Sigma-Protocols
Sort
relevance
views
votes
recent
update
View
thumb
title
77
click to vote
COMPUTER
1999
67
views
more
COMPUTER 1999
»
Current Directions in Automatic Test-Pattern Generation
15 years 3 months ago
Download
cadlab.ece.ucsb.edu
Kwang-Ting Cheng, Angela Krstic
claim paper
Read More »
98
click to vote
CSUR
1999
60
views
more
CSUR 1999
»
Automatic link generation
15 years 3 months ago
Download
www.compapp.dcu.ie
Ross Wilkinson, Alan F. Smeaton
claim paper
Read More »
60
click to vote
TOMS
1998
56
views
more
TOMS 1998
»
The Automatic Generation of Sparse Primitives
15 years 3 months ago
Download
www.cparity.com
Aart J. C. Bik, Peter Brinkhaus, Peter M. W. Knijn...
claim paper
Read More »
137
click to vote
SAC
2008
ACM
112
views
Applied Computing
»
more
SAC 2008
»
Template design and automatic generation of controllers for industrial robots
15 years 3 months ago
Download
research.cs.queensu.ca
The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with co...
Lenko Grigorov, Karen Rudie, José E. R. Cur...
claim paper
Read More »
72
Voted
JIB
2010
48
views
more
JIB 2010
»
MEMOPS: Data modelling and automatic code generation.
15 years 2 months ago
Download
www.rothamsted.bbsrc.ac.uk
Rasmus H. Fogh, Wayne Boucher, John McIonides, Wim...
claim paper
Read More »
« Prev
« First
page 9 / 922
Last »
Next »