10848 search results - page 131 / 2170 » Programming in Biomolecular Computation |
145
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
138
click to vote
CONTEXT
2003
Springer
15 years 9 months ago
2003
Springer
We describe a software development approach for vision that enhances robustness by making novel use of context. Conventional approaches to most image understanding problems suffe...
130
click to vote
ICAD
2004
15 years 5 months ago
2004
This paper provides a summary of previous work done in the area of external auditory representations of programs (known as program auralisation). A brief historical review is give...
128
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
NSDI
2008
15 years 6 months ago
2008
This paper discusses various disadvantages of having a program committee meeting.