3273 search results - page 54 / 655 » types 2007 |
140
click to vote
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
138
click to vote
MST
2007
15 years 3 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
125
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
We discuss the treatment of initial datatypes and final process types in the wide-spectrum language HasCASL. In particular, we present specifications that illustrate how datatype...
130
click to vote
FOCI
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Centroid, cardinality, fuzziness, variance and skewness are all important concepts for an interval type-2 fuzzy set (IT2 FS) because they are all measures of uncertaint...
145
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
We investigate the bit-search type irregular decimation algorithms that are used within LFSR-based stream ciphers. In particular, we concentrate on BSG and ABSG, and consider two ...