1205 search results - page 123 / 241 » Program Extraction from Large Proof Developments |
153
click to vote
AIRWEB
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we study the overall link-based spam structure and its evolution which would be helpful for the development of robust analysis tools and research for Web spamming a...
242
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
101
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
In 1995, my team and I decided to create an outreach project that would use our research on functional programming to change the K-12 computer science curriculum. We had two diffe...
SIGCSE
1997
ACM
15 years 5 months ago
1997
ACM
A typical Data Structures (CS 2) course covers a wide variety of topics: elementary algorithm analysis; data structures including dynamic structures, trees, tables, graphs, etc.; ...
112
click to vote
IEEECIT
2006
IEEE
15 years 7 months ago
2006
IEEE
Concurrently with fast development of location aware technologies, many applications have been developing to exploit location data for serving people. However, a main challenge in...