1027 search results - page 168 / 206 » Opening Up The Enterprise |
100
click to vote
ICML
1999
IEEE
16 years 18 days ago
1999
IEEE
Many interesting problems, such as power grids, network switches, and tra c ow, that are candidates for solving with reinforcement learningRL, alsohave properties that make distri...
WWW
2004
ACM
16 years 14 days ago
2004
ACM
This paper investigates how the vision of the Semantic Web can be carried over to the realm of email. We introduce a general notion of semantic email, in which an email message co...
109
click to vote
VLSID
2009
IEEE
16 years 12 days ago
2009
IEEE
Abstract--Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements....
130
click to vote
PPOPP
2009
ACM
16 years 10 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
93
Voted
CAV
2009
Springer
16 years 10 days ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...