995 search results - page 33 / 199 » Wire-speed total order |
FOCS
1994
IEEE
14 years 6 days ago
1994
IEEE
We describe algorithms for finding the k shortest paths connecting a given pair of vertices in a digraph (allowing cycles). Our algorithms output an implicit representation of the...
INTENV
2010
13 years 3 months ago
2010
The story describes a world of the future in which there are two entirely different groups of people, one involved in the development and reproduction of the industrial base of the...
JSS
2010
13 years 3 months ago
2010
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
ICASSP
2011
IEEE
13 years 12 days ago
2011
IEEE
The majority of speaker verification systems proposed in the NIST speaker recognition evaluation are conditioned on the type of data to be processed: telephone or microphone. In ...
CDC
2010
IEEE
13 years 10 days ago
2010
IEEE
— Preview Control design is proposed in order to reduce the settling time of Dual-Stage Actuators (DSA’s). It is shown that a significantly better performance is achieved by e...