3993 search results - page 418 / 799 » Matchmaking for Structured Objects |
144
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
149
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
This paper presents the Referrer Graph (RG) web prediction algorithm as a low-cost solution to predict next web user accesses. RG is aimed at being used in a real web system with ...
133
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
143
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
An algorithm for estimating the pose, i.e., translation and rotation, of an extended target object is introduced. Compared to conventional methods, where pose estimation is perfor...
181
click to vote
SEMCO
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...