509 search results - page 9 / 102 » Preserving Properties Under Change |
LOGCOM
2008
14 years 11 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
179
click to vote
ECOOP
2009
Springer
16 years 12 days ago
2009
Springer
Contemporary refactoring tools for JAVA aiding in the restructuring of programs have problems with respecting access modifiers such as public and private: while some tools provide ...
103
click to vote
ACMSE
2008
ACM
15 years 1 months ago
2008
ACM
Indirection exists between the virtual objects that form the computer interface and the input devices through which the user interacts to manipulate these objects. This paper stud...
CCE
2007
14 years 11 months ago
2007
The understanding of the dynamic behavior of distillation columns has received considerable attention due to the fact that distillation is one of the most widely used unit operati...
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
The non-negativity of color signals implies that they span a conical space with a hyperbolic geometry. We use perspective projections to separate intensity from chromaticity, and ...