1557 search results - page 156 / 312 » Programming up to Congruence |
AI
2008
Springer
15 years 1 months ago
2008
Springer
A problem of intense interest to many sports fans as a season progresses is whether their favorite team has mathematically clinched a playoff spot; i.e., whether there is no possib...
100
click to vote
AMAST
2008
Springer
15 years 1 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
106
click to vote
AUSDM
2008
Springer
15 years 1 months ago
2008
Springer
Growing up is in large measure learning about the world and our social and linguistic environment. We might call this data mining, although it is far more multimodal and immersive...
CIE
2008
Springer
15 years 1 months ago
2008
Springer
The first extensive number-theoretical computation run on the world's first U.S. digital general-purpose electronic computer, the ENIAC, is reconstructed. The problem, computi...
ASPDAC
2005
ACM
15 years 1 months ago
2005
ACM
— A method for timing driven placement is presented. The core of the approach is optimal timing-driven relaxed placement based on a linear programming (LP) formulation. The formu...