1768 search results - page 225 / 354 » A Logic for Algebraic Effects |
176
Voted
SP
2000
IEEE
15 years 10 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
168
click to vote
WCE
2007
15 years 8 months ago
2007
—In this paper, a fuzzy estimator based on the Smith predictor for a time-delayed system is proposed. The purpose of this work is to predict the unknown plant time-delay by using...
172
Voted
PAA
2006
15 years 7 months ago
2006
Literature is one of the most significant forms of human culture. It represents a high level of intellectual activity. Humans write, read, and enjoy poems in different cultures. Th...
168
click to vote
DKE
2002
15 years 6 months ago
2002
This paper briefly traces the evolution of information system architectures from mainframe-connected terminals to distributed multi-tier architectures. It presents the challenges ...
185
click to vote
CAI
1999
Springer
15 years 6 months ago
1999
Springer
: Context is the challenge for the coming years in Artificial Intelligence. In the companion paper [8], we present the main results of discussions at two workshops and at the first...