1768 search results - page 197 / 354 » A Logic for Algebraic Effects |
176
click to vote
FOSSACS
2004
Springer
16 years 16 days ago
2004
Springer
People often need to reason about policy changes before they are adopted. For example, suppose a website manager knows that users want to enter her site without going through the w...
170
click to vote
ASYNC
2002
IEEE
16 years 3 days ago
2002
IEEE
This paper presents a novel variation of wave pipelining that we call “surfing.” In previous wave pipelined designs, timing uncertainty grows monotonically as events propagat...
200
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
In this paper we present a power dissipation model considering the charging/discharging of capacitance at the gate output node as well as internal nodes, and capacitance feedthrou...
181
click to vote
ISAAC
1992
Springer
15 years 11 months ago
1992
Springer
In the multilevel generalized assignment problem (MGAP) agents can perform tasks at more than one efficiency level. Important manufacturing problems, such as lot sizing, can be ea...
147
click to vote
AAAI
2006
15 years 8 months ago
2006
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such...