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
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
10539
search results - page 103 / 2108
»
On L
Sort
relevance
views
votes
recent
update
View
thumb
title
28
click to vote
ESEC
1999
Springer
114
views
Software Engineering
»
more
ESEC 1999
»
Using Model Checking to Generate Tests from Requirements Specifications
14 years 1 months ago
Download
cs.unibg.it
Angelo Gargantini, Constance L. Heitmeyer
claim paper
Read More »
24
click to vote
VISUALIZATION
1999
IEEE
85
views
Visualization
»
more
VISUALIZATION 1999
»
Progressive Compression and Transmission of Arbitrary Triangular Meshes
14 years 1 months ago
Download
www.pascucci.org
Chandrajit L. Bajaj, Valerio Pascucci, Guozhong Zh...
claim paper
Read More »
20
click to vote
ICSE
1999
IEEE-ACM
87
views
Software Engineering
»
more
ICSE 1999
»
Architecting for Large-Scale Systematic Component Reuse
14 years 1 months ago
Download
www.hpl.hp.com
Martin L. Griss
claim paper
Read More »
15
click to vote
ICCAD
1998
IEEE
70
views
Hardware
»
more
ICCAD 1998
»
Verification by approximate forward and backward reachability
14 years 1 months ago
Download
www.cs.york.ac.uk
Shankar G. Govindaraju, David L. Dill
claim paper
Read More »
27
click to vote
KES
1999
Springer
314
views
Information Technology
»
more
KES 1999
»
Genetic algorithms vs. Tabu search in timetable scheduling
14 years 1 months ago
Download
iiirc.hitsz.edu.cn
S. C. Chu, H. L. Fang
claim paper
Read More »
« Prev
« First
page 103 / 2108
Last »
Next »