3674 search results - page 381 / 735 » Information Dependencies |
162
click to vote
PE
2007
Springer
15 years 6 months ago
2007
Springer
We propose a simple framework for analyzing feedforward queueing networks that have the following features: each customer belongs to a (customer) flow and the route that a custom...
189
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Test case prioritization for regression testing can be performed using different metrics (e.g., statement coverage, path coverage) depending on the application context. Employing ...
179
click to vote
ICMLC
2010
Springer
15 years 5 months ago
2010
Springer
: The performance of a statistical machine translation (SMT) system heavily depends on the quantity and quality of the bilingual language resource. However, the pervious work mainl...
189
click to vote
TSMC
2008
15 years 5 months ago
2008
In this paper, a new methodology to build compact local maps in real time for outdoor robot navigation is presented. The environment information is obtained from a 3-D scanner lase...
175
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...