1768 search results - page 89 / 354 » A Logic for Algebraic Effects |
107
click to vote
CAEPIA
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
108
Voted
ISSA
2004
15 years 2 months ago
2004
Computer security, and intrusion detection in particular, has become increasingly important in today's business environment, to help ensure safe and trusted commerce between ...
100
click to vote
ISQED
2005
IEEE
15 years 6 months ago
2005
IEEE
Precise chip-level timing requires careful modeling of the interaction between logic drivers and interconnect. Existing static-timing analysis methodologies generate models for dr...
ICFP
2000
ACM
15 years 5 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
108
Voted
RIAO
2007
15 years 2 months ago
2007
Information Retrieval (IR) systems are built with different goals in mind. Some IR systems target high precision that is to have more relevant documents on the first page of their...