3166 search results - page 165 / 634 » Translation By Structural Correspondences |
158
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
153
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...
170
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
182
click to vote
NIPS
2008
15 years 8 months ago
2008
Existing approaches to nonrigid structure from motion assume that the instantaneous 3D shape of a deforming object is a linear combination of basis shapes, which have to be estima...
180
click to vote
TKDE
2008
15 years 6 months ago
2008
Abstract-- With ever growing competition in telecommunications markets, operators have to increasingly rely on business intelligence to offer the right incentives to their customer...