5128 search results - page 266 / 1026 » When Abstraction Fails |
200
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
219
click to vote
IMC
2009
ACM
16 years 1 months ago
2009
ACM
Statistical machine learning techniques have recently garnered increased popularity as a means to improve network design and security. For intrusion detection, such methods build ...
254
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Social tagging is becoming increasingly popular in many Web 2.0 applications where users can annotate resources (e.g. Web pages) with arbitrary keywords (i.e. tags). A tag recomme...
169
click to vote
ACSC
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we examine the composition of firstclass protocols for multi-agent systems. First-class protocols are protocols that exist as executable specifications that agent...
174
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper deals with the tracking problem for constrained linear systems using a model predictive control (MPC) law. As it is well known, MPC provides a control law suitable f...