13271 search results - page 418 / 2655 » Computers, Programming, and People |
198
click to vote
ACSC
2008
IEEE
16 years 1 months ago
2008
IEEE
The International Olympiad in Informatics is a worldwide contest for high school students, with a strong focus on creativity and ingenuity in algorithm design. Here we describe th...
172
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
A fast online algorithm was developed for polygonal approximation of signals and curves with a minimum number of line segments for a given constraint on the standard deviation of ...
165
click to vote
ERSHOV
2001
Springer
15 years 11 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
165
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
178
click to vote
NSDI
2008
15 years 9 months ago
2008
I provide several lessons learned from running a number of conference program committees over the past decade, as well as some additional thoughts on conference organization and t...