493 search results - page 22 / 99 » types 1998 |
151
click to vote
CAD
1998
Springer
14 years 11 months ago
1998
Springer
Developable surfaces are modelled with pieces of right circular cones. These cone spline surfaces are well-suited for applications: They possess degree two parametric and implicit...
NAR
1998
14 years 11 months ago
1998
The SV40 T antigen database (http://www.pitt.edu/ ∼pipaslab/ ) lists viruses and plasmids expressing mutant forms of large T antigen. Each entry contains information regarding t...
TC
1998
14 years 11 months ago
1998
Abstract—A widely used bus-encryption microprocessor is vulnerable to a new practical attack. This type of processor decrypts onthe-fly while fetching code and data, which are st...
119
click to vote
CORR
2012
Springer
13 years 7 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
FOCS
1998
IEEE
15 years 4 months ago
1998
IEEE
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...