1737 search results - page 248 / 348 » On Interpolation in Existence Logics |
186
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Diverse forms of the concept of opposition are already existent in philosophy, linguistics, psychology and physics. The interplay between entities and opposite entities is apparent...
172
click to vote
INTEGRATION
2006
15 years 6 months ago
2006
In the context of physical synthesis, large-scale standard-cell placement algorithms must facilitate incremental changes to layout, both local and global. In particular, flexible ...
260
click to vote
OOPSLA
2009
Springer
16 years 26 days ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
204
click to vote
OOPSLA
2007
Springer
16 years 13 days ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
158
click to vote
CAI
2007
Springer
15 years 10 months ago
2007
Springer
This paper studies colimits of sequences of finite Chu spaces and their ramifications. We consider three base categories of Chu spaces: the generic Chu spaces (C), the extensional ...