4217 search results - page 698 / 844 » Computational indistinguishability logic |
140
click to vote
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
This paperdescribes the use of a powerful graph query language for querying programs, and a novel combination of transformations for generating efficient implementations of the q...
129
Voted
EUSFLAT
2009
14 years 10 months ago
2009
One of the new trends in genetic fuzzy systems (GFS) is the use of evolutionary multiobjective optimization (EMO) algorithms. This is because EMO algorithms can easily handle two c...
97
Voted
ICCAD
2009
IEEE
14 years 10 months ago
2009
IEEE
Traditional circuit design focuses on optimizing the static critical paths no matter how infrequently these paths are exercised dynamically. Circuit optimization is then tuned to ...
145
click to vote
AI
2011
Springer
14 years 7 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
144
Voted
CODASPY
2011
14 years 4 months ago
2011
Social Network Systems pioneer a paradigm of access control that is distinct from traditional approaches to access control. Gates coined the term Relationship-Based Access Control...