2767 search results - page 276 / 554 » Universal Exponentiation Algorithm |
117
click to vote
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
102
click to vote
TACS
1997
Springer
15 years 7 months ago
1997
Springer
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
108
Voted
COCO
1990
Springer
15 years 7 months ago
1990
Springer
d Abstract) Eric Allender Christopher Wilson Department of Computer Science Department of Computer Rutgers University and Information Science New Brunswick, NJ 08903, USA Universit...
122
click to vote
IVCNZ
1998
15 years 4 months ago
1998
Chondrons form the fundamental biomechanical and metabolic unit of articular cartilage. But there is no accurate description of chondron volume which is known to change when artic...
119
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
We give a simple order-theoretic construction of a Cartesian closed category of sequential functions. It is based on bistable biorders, which are sets with a partial order — the ...