9626 search results - page 1561 / 1926 » Invariant Based Programming |
199
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
One of the reasons why large-scale software development is difficult is the number of dependencies that software engineers need to face: e.g., dependencies among the software comp...
193
click to vote
DNA
2008
Springer
15 years 8 months ago
2008
Springer
Whiplash PCR (WPCR), due to Hagiya et al. [1], is a novel technique for autonomous molecular computation where a state machine is implemented with a single stranded DNA molecule a...
199
click to vote
APPROX
2010
Springer
15 years 8 months ago
2010
Springer
We consider optimization problems that can be formulated as minimizing the cost of a feasible solution wT x over an arbitrary combinatorial feasible set F {0, 1}n . For these pro...
210
click to vote
INTERACT
2007
15 years 8 months ago
2007
During the early stages of architectural training, tangibility plays an important role in developing spatial awareness. In such contexts, tangible user interfaces are believed to p...
201
click to vote
SDM
2008
SIAM
15 years 8 months ago
2008
SIAM
Maximum margin clustering (MMC) is a recently proposed clustering method, which extends the theory of support vector machine to the unsupervised scenario and aims at finding the m...