2602 search results - page 156 / 521 » Semantic Analysis of 'to' |
173
click to vote
IBPRIA
2007
Springer
15 years 10 months ago
2007
Springer
Three methods for the efficient downdating, composition and splitting of low rank singular value decompositions are proposed. They are formulated in a closed form, considering the ...
167
click to vote
DOCENG
2008
ACM
15 years 8 months ago
2008
ACM
In this paper we propose a technique for evaluating similarity of XML Schema fragments. Firstly, we define classes of structurally and semantically equivalent XSD constructs. Then...
151
click to vote
TOSEM
2002
15 years 6 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
315
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Pointer analysis is a prerequisite for many program analyses, and the effectiveness of these analyses depends on the precision of the pointer information they receive. Two major a...
166
click to vote
SAFECOMP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...