631 search results - page 44 / 127 » Deriving Specifications from Requirements: An Example |
CVPR
2009
IEEE
2009
IEEE
Continuous Ratio Optimization via Convex Relaxation with Applications to Multiview 3D Reconstruction
15 years 3 months ago
We introduce a convex relaxation framework to optimally
minimize continuous surface ratios. The key idea is to minimize
the continuous surface ratio by solving a sequence
of con...
ICIAP
2001
Springer
14 years 8 months ago
2001
Springer
Stripes are common sub-structures of text characters, and the scale of these stripes varies little within a word. This scale consistency thus provides us with a useful feature for...
SAC
2009
ACM
14 years 3 months ago
2009
ACM
Incorporating background knowledge into data mining algorithms is an important but challenging problem. Current approaches in semi-supervised learning require explicit knowledge p...
ERLANG
2006
ACM
14 years 2 months ago
2006
ACM
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...
COMPSAC
1996
IEEE
14 years 20 days ago
1996
IEEE
This paper discusses how conventional testing criteria such as branch coverage can be applied for the testing of member functions inside a class. To support such testing technique...