9626 search results - page 1742 / 1926 » Invariant Based Programming |
122
Voted
ECCV
2010
Springer
15 years 1 months ago
2010
Springer
Sturm-Triggs iteration is a standard method for solving the projective factorization problem. Like other iterative algorithms, this method suffers from some common drawbacks such ...
130
Voted
EUROMED
2010
15 years 1 months ago
2010
Within the last few years generative modeling techniques have gained attention especially in the context of cultural heritage. As a generative model describes a rather ideal object...
128
click to vote
ICSOC
2010
Springer
15 years 1 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
174
Voted
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
128
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...