2449 search results - page 296 / 490 » Tensor Embedding Methods |
SAC
2008
ACM
14 years 10 months ago
2008
ACM
It is difficult to identify whether quality requirements are defined adequately or not, but there are few methods to support this kind of requirements analysis. In this paper, we ...
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Interface-based design relies on the idea that different components of a system may be developed independently and a system designer can connect them together only if th...
ISOLA
2010
Springer
14 years 9 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
ISVC
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Multi-view range image integration aims at producing a single reasonable 3D point cloud. The point cloud is likely to be inconsistent with the measurements topologically ...
SPIN
2010
Springer
14 years 9 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...