This paper discusses the challenges and proposes a solution to performing information retrieval on the Web using Chinese natural language speech query. The main contribution of th...
The ICP (Iterative Closest Point) algorithm is the de facto standard for geometric alignment of threedimensional models when an initial relative pose estimate is available. The ba...
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
Recently, profile context-sensitive HMMs (profile-csHMMs) have been proposed which are very effective in modeling the common patterns and motifs in related symbol sequences. Pro...
: We present a model consisting of an emergent procedure for n unpiloted, autonomous flying munitions to cooperatively conduct a parallel sweeping search of a geographic area for s...
Joseph Schlecht, Karl Altenburg, Benzir Md Ahmed, ...