9145 search results - page 1434 / 1829 » Description Logic Systems |
170
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
Instead of having fixed px and pm, this paper presents the use of fuzzy logic to adaptively tune px and pm for optimization of power electronic circuits throughout the process. By...
175
click to vote
ICCS
2005
Springer
16 years 12 days ago
2005
Springer
A main feature of many logics used in computer science is a means to express quantification. Usually, syntactical devices like variables and quantifiers are used for this purpose...
202
click to vote
LPNMR
2005
Springer
16 years 11 days ago
2005
Springer
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
172
click to vote
TCC
2005
Springer
16 years 11 days 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...
177
click to vote
ECLIPSE
2004
ACM
16 years 10 days ago
2004
ACM
Developing and consistently evolving quality software designs requires both theoretical knowledge and practical skills. The former can be communicated in a classroom; the latter h...