2067 search results - page 157 / 414 » Logics of propositional control |
QSIC
2003
IEEE
15 years 7 months ago
2003
IEEE
Hypertext-based user interfaces have become attractive for many distributed applications today, but they do not reach the usability level of window-based UIs. Because of insuffici...
105
click to vote
ACSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent from a particular access control policy and...
141
click to vote
LICS
2010
IEEE
15 years 11 days ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
141
click to vote
FROCOS
2007
Springer
15 years 8 months ago
2007
Springer
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
115
click to vote
IWANN
2009
Springer
15 years 8 months ago
2009
Springer
We survey on the theoretical and practical developments of the theory of fuzzy logic and soft computing. Specifically, we briefly review the history and main milestones of fuzzy ...