3819 search results - page 251 / 764 » Simple Easy Terms |
232
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
184
click to vote
GLOBECOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— We consider the problem of providing absolute QoS guarantees to multiple classes of users of an OBS network in terms of the end-to-end burst loss. We employ Markov decision pro...
161
click to vote
GLVLSI
2005
IEEE
16 years 26 days ago
2005
IEEE
We present simulations for ultra-thin body, fully-depleted, double-gate (DG) silicon-on-insulator (SOI) devices that can be readily optimized for both static power loss and perfor...
253
click to vote
GECCO
2005
Springer
16 years 23 days ago
2005
Springer
Turing complete Genetic Programming (GP) models introduce the concept of internal state, and therefore have the capacity for identifying interesting temporal properties. Surprisin...
173
click to vote
ISSAC
2005
Springer
16 years 22 days ago
2005
Springer
Over the past few decades several variations on a “half GCD” algorithm for obtaining the pair of terms in the middle of a Euclidean sequence have been proposed. In the integer...