17054 search results - page 303 / 3411 » Logics of Dynamical Systems |
185
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper provides a broad overview of logical and black box approaches to fuzzy and rough hybridization. The logical approaches include theoretical, supervised learning, feat...
165
click to vote
CCS
1999
ACM
15 years 11 months ago
1999
ACM
We have designed and implemented a general and powerful distributed authentication framework based on higher-order logic. Authentication frameworks — including Taos, SPKI, SDSI,...
193
click to vote
CSR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
195
click to vote
FPL
2000
Springer
15 years 11 months ago
2000
Springer
Following the simple Programmable Logic Device (SPLD) and Field Programmable Gate Array (FPGA) generations a third generation of programmable logic technologies is now reaching the...
153
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...