3995 search results - page 339 / 799 » Linearization of hybrid processes |
197
click to vote
ENTCS
2006
15 years 6 months ago
2006
In the past, partial order reduction has been used successfully to combat the state explosion problem in the context of model checking for non-probabilistic systems. For both line...
190
click to vote
EMNLP
2010
15 years 4 months ago
2010
We show that the standard beam-search algorithm can be used as an efficient decoder for the global linear model of Zhang and Clark (2008) for joint word segmentation and POS-taggi...
156
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper, a computer vision based system is introduced to automatically sort apple fruits. An artificial neural network segments the defected regions on fruit by pixel-wise p...
168
click to vote
FCCM
2006
IEEE
16 years 23 days ago
2006
IEEE
We present an architecture and an implementation of an FPGA-based sparse matrix-vector multiplier (SMVM) for use in the iterative solution of large, sparse systems of equations ar...
164
click to vote
WAW
2004
Springer
16 years 1 days ago
2004
Springer
In this paper we study the size of generalised dominating sets in two graph processes which are widely used to model aspects of the world-wide web. On the one hand, we show that gr...