Sciweavers

9494 search results - page 1349 / 1899
» Gaussian Process Networks
Sort
View
EUROCAST
2007
Springer
131views Hardware» more  EUROCAST 2007»
15 years 11 months ago
Efficient Model Checking of Applications with Input/Output
Most non-trivial applications use some form of input/output (I/O), such as network communication. When model checking such an application, a simple state space exploration scheme i...
Cyrille Artho, Boris Zweimüller, Armin Biere,...
GD
2009
Springer
15 years 10 months ago
More Flexible Radial Layout
We describe an algorithm for radial layout of undirected graphs, in which nodes are constrained to concentric circles centered at the origin. Such constraints are typical, e.g., i...
Ulrik Brandes, Christian Pich
APWEB
2008
Springer
15 years 9 months ago
Aggregate Computation over Data Streams
Abstract. Nowadays, we have witnessed the widely recognized phenomenon of high speed data streams. Various statistics computation over data streams is often required by many applic...
Xuemin Lin, Ying Zhang
ESANN
2008
15 years 8 months ago
Word recognition and incremental learning based on neural associative memories and hidden Markov models
Abstract. An architecture for achieving word recognition and incremental learning of new words in a language processing system is presented. The architecture is based on neural ass...
Zöhre Kara Kayikci, Günther Palm
NIPS
2004
15 years 8 months ago
VDCBPI: an Approximate Scalable Algorithm for Large POMDPs
Existing algorithms for discrete partially observable Markov decision processes can at best solve problems of a few thousand states due to two important sources of intractability:...
Pascal Poupart, Craig Boutilier
« Prev « First page 1349 / 1899 Last » Next »