14783 search results - page 330 / 2957 » Quantum Information Processing |
163
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
169
click to vote
ESSMAC
2003
Springer
15 years 11 months ago
2003
Springer
Kernel-based non-parametric models have been applied widely over recent years. However, the associated computational complexity imposes limitations on the applicability of those me...
163
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— We consider the problem of optimizing the trajectory of a mobile sensor with perfect localization whose task is to estimate a stochastic, perhaps multidimensional fiel...
155
click to vote
RECOMB
2001
Springer
15 years 11 months ago
2001
Springer
Previous divide-and-conquer segmentation analyses of DNA sequences do not provide a satisfactory stopping criterion for the recursion. This paper proposes that segmentation be con...
172
click to vote
IDEAS
1997
IEEE
15 years 10 months ago
1997
IEEE
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...