8828 search results - page 1666 / 1766 » Formal methods in practice |
126
Voted
PLDI
2010
ACM
15 years 8 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...
165
Voted
GECCO
2010
Springer
15 years 8 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...
139
Voted
KCAP
2009
ACM
15 years 8 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...
155
Voted
GEOS
2009
Springer
15 years 8 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...
141
Voted
IBPRIA
2009
Springer
15 years 8 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...