1129 search results - page 87 / 226 » Modular Ranking Abstraction |
131
click to vote
SCL
2008
15 years 3 months ago
2008
ABSTRACT: Linear function approximations based on random projections are proposed and justified for a class of fixed point and minimization problems. KEY WORDS: random projections,...
193
click to vote
POPL
2003
ACM
16 years 3 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
111
click to vote
ESWS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This demo proposal aims at providing support for the localization of ontologies, and as a result at obtaining multilingual ontologies. We briefly present an advanced ver...
117
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
115
click to vote
ICWE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. It is more convenient to talk about changes in a domainspecific way than to formulate them at the programming construct level or—even worse—purely lexical level. Usi...