175 search results - page 26 / 35 » Informed Lifting for Message-Passing |
55
Voted
KES
2010
Springer
14 years 10 months ago
2010
Springer
This paper presents a high level view of a project which aims at improving the communication between people who do not share the same language by using a 3D animation upper layer t...
101
click to vote
ICLP
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...
FATES
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
WSCG
2004
15 years 1 months ago
2004
We present a camera calibration system that is simple to use and offers generality in the positioning of the cameras. This makes it very suitable for the calibration of mobile, sy...
IWPC
2010
IEEE
14 years 10 months ago
2010
IEEE
Many software developers use a syntactical ‘diff’ in order to perform a quick review before committing changes to the repository. Others are notified of the change by email (...