2022 search results - page 267 / 405 » Complexity of Non-Monotonic Logics |
160
click to vote
TCC
2005
Springer
15 years 12 months ago
2005
Springer
Several compositional forms of simulation-based security have been proposed in the literature, including universal composability, black-box simulatability, and variants thereof. Th...
168
click to vote
CSCLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Among, Common and Disjoint are global constraints useful in modelling problems involving resources. We study a number of variations of these constraints over integer and ...
189
click to vote
DALT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
188
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
This article summarizes two experiments utilizing building blocks to find analog electronic circuits on a CMOS Field Programmable Transistor Array (FPTA). The FPTA features 256 pr...
136
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
The usability of web applications today often suffers from the page-based medium’s lack of intrinsic support for hierarchical dialog sequences mirroring the parent-child relatio...