3457 search results - page 58 / 692 » A Symbol Is Not a Symbol |
104
Voted
ETT
2000
15 years 12 days ago
2000
Spread spectrum multi-carrier multiple access (SS-MC-MA) systems exploit in a similar manner as MC-CDMA systems the advantages of the diversity gain due to the spread spectrum tech...
99
Voted
JAPLL
2008
15 years 17 days ago
2008
In this survey paper, we present several results linking quantifier-free axiomatizations of various Euclidean and hyperbolic geometries in languages without relation symbols to ge...
94
Voted
JUCS
2006
15 years 16 days ago
2006
Abstract: In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance re...
80
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
— Lack of complete formal specification is one of the major obstacles for the deployment of model checking. Coverage estimation addresses this issue by revealing the unverified...
102
click to vote
FDL
2003
IEEE
15 years 5 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...