27827 search results - page 279 / 5566 » Generating |
135
Voted
EXACT
2007
15 years 5 months ago
2007
In order to assist a power plant operator to face unusual situations, we have developed an intelligent assistant that explains the suggested commands generated by an MDP-based pla...
136
click to vote
ATVA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
141
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Structured documents contain elements defined by the author(s) and annotations assigned by other people or processes. Structured documents pose challenges for probabilistic retrie...
122
click to vote
IWCMC
2010
ACM
15 years 5 months ago
2010
ACM
We propose a novel methodology to generate realistic network flow traces to enable systematic evaluation of network monitoring systems in various traffic conditions. Our technique...
125
click to vote
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...