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
3713
search results - page 102 / 743
»
Constructing a Calculus of Programs
Sort
relevance
views
votes
recent
update
View
thumb
title
128
click to vote
AOSD
2004
ACM
85
views
Software Engineering
»
more
AOSD 2004
»
A technique for constructing aspect weavers using a program transformation engine
15 years 11 months ago
Download
www.cis.uab.edu
Jeffrey G. Gray, Suman Roychoudhury
claim paper
Read More »
117
click to vote
EUROGP
2003
Springer
117
views
Optimization
»
more
EUROGP 2003
»
Genetic Programming for Attribute Construction in Data Mining
15 years 11 months ago
Download
www.cs.bham.ac.uk
Fernando E. B. Otero, Monique M. S. Silva, Alex Al...
claim paper
Read More »
131
click to vote
ARCS
2010
Springer
165
views
Software Engineering
»
more
ARCS 2010
»
Compiler-Directed Performance Model Construction for Parallel Programs
15 years 11 months ago
Download
homepages.inf.ed.ac.uk
Martin Schindewolf, David Kramer, Marcelo Cintra
claim paper
Read More »
129
click to vote
MPC
2010
Springer
164
views
Mathematics
»
more
MPC 2010
»
On Automated Program Construction and Verification
15 years 11 months ago
Download
mpc-amast2010.fsg.ulaval.ca
Rudolf Berghammer, Georg Struth
claim paper
Read More »
129
click to vote
LFCS
1997
Springer
94
views
Artificial Intelligence
»
more
LFCS 1997
»
Basic Forward Chaining Construction for Logic Programs
15 years 10 months ago
Download
www.cs.uky.edu
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
claim paper
Read More »
« Prev
« First
page 102 / 743
Last »
Next »
