5630 search results - page 6 / 1126 » Computability in Specification |
78
Voted
COMPUTER
2000
15 years 3 months ago
2000
TFS
2008
15 years 3 months ago
2008
In 1996, Zadeh proposed the paradigm of computing with words (CWW). A specific architecture for making subjective
126
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
60
Voted
CHI
2008
ACM
16 years 3 months ago
2008
ACM
93
Voted
IEEESCC
2008
IEEE
15 years 10 months ago
2008
IEEE
