8828 search results - page 1666 / 1766 » Formal methods in practice |
130
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
171
click to vote
GECCO
2010
Springer
15 years 9 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
143
click to vote
KCAP
2009
ACM
15 years 9 months ago
2009
ACM
Ontology modularization has received growing interest from the research community lately, since it supports tasks such as ontology design/reuse and knowledge selection and integra...
161
click to vote
GEOS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
147
click to vote
IBPRIA
2009
Springer
15 years 9 months ago
2009
Springer
ent abstract presents OASIS, an Online Algorithm for Scalable Image Similarity learning that learns a bilinear similarity measure over sparse representations. OASIS is an online du...