6438 search results - page 1162 / 1288 » A Parameterised Search System |
182
click to vote
STTT
2010
15 years 1 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
205
click to vote
DASFAA
2011
IEEE
14 years 10 months ago
2011
IEEE
Route planning, which is used to calculate feasible routes in a given environment, is one of the key issues in navigation systems. According to different constraints in different...
177
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we extend our previous study on discriminative training using non-uniform criteria for speech recognition. The work will put emphasis on how the acoustic modeling i...
218
click to vote
BMCBI
2007
15 years 6 months ago
2007
Motivation: With more and more research dedicated to literature mining in the biomedical domain, more and more systems are available for people to choose from when building litera...
196
click to vote
TRECVID
2007
15 years 7 months ago
2007
This paper describes the first participation of the SINAI1 group of the University of Ja´en in TRECVID 2007. We have only participated in the automatic search task. Our approach...