1818 search results - page 154 / 364 » Granularity-Adaptive Proof Presentation |
126
Voted
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
100
Voted
CLIMA
2007
15 years 4 months ago
2007
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EB...
124
click to vote
ICISC
2007
15 years 4 months ago
2007
In the 80’s Matsumoto and Imai [8] proposed public key cryptosystems based on the difficulty of solving systems of polynomials in several variables. Although these first schemes...
139
click to vote
OWLED
2007
15 years 4 months ago
2007
Fuzzy Description Logics (Fuzzy DLs) and fuzzy OWL have been proposed as languages able to represent and reason about imprecise and vague knowledge. Such extensions have gained con...
120
Voted
CSREAESA
2004
15 years 4 months ago
2004
The remote diagnostics of faults and operating states of technical equipment offers increased benefits and cost advantages for consumers and manufacturers. These advantages can al...