797 search results - page 70 / 160 » Eliminating Proofs from Programs |
84
Voted
LCPC
2001
Springer
15 years 5 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
113
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...
116
click to vote
KDD
2005
ACM
16 years 1 months ago
2005
ACM
We describe an algorithm for converting linear support vector machines and any other arbitrary hyperplane-based linear classifiers into a set of non-overlapping rules that, unlike...
117
Voted
AUTOMATICA
2007
15 years 24 days ago
2007
This paper presents a new (geometrical) approach to the computation of polyhedral (robustly) positively invariant (PI) sets for general (possibly discontinuous) nonlinear discrete...
102
Voted
ICFP
2007
ACM
16 years 18 days ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...