5671 search results - page 592 / 1135 » A Semantic Approach to Interpolation |
162
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
This paper introduces a technique for viewing text objects under changing size constraints in 2D environments. Our approach automatically combines font size reduction and content ...
196
click to vote
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we describe and situate the TUPELO system for data mapping in relational databases. Automating the discovery of mappings between structured data sources is a long st...
181
click to vote
IEEEARES
2009
IEEE
16 years 2 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
176
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
148
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...