172 search results - page 16 / 35 » How to Specialize by Theory Refinement |
WADT
1999
Springer
15 years 1 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
TPHOL
2002
IEEE
15 years 2 months ago
2002
IEEE
In this paper we introduce a new approach to axiomatizing quotient types in type theory. We suggest replacing the existing monolithic rule set by a modular set of rules for a speci...
MMAS
2010
Springer
14 years 4 months ago
2010
Springer
Mode coupling due to scattering by weak random inhomogeneities in waveguides leads to loss of coherence of wave fields at long distances of propagation. This in turn leads to serio...
81
Voted
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
There are now a number of bidirectional programming languages, where every program can be read both as a forward transformation mapping one data structure to another and as a reve...
81
Voted
ICMCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Content-based Image retrieval has become an important part of information retrieval technology. Images can be viewed as high dimensional data and are usually represented by their ...