106 search results - page 14 / 22 » Dependent type inference with interpolants |
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
ISIPTA
1999
IEEE
13 years 12 months ago
1999
IEEE
This paper reviews algorithms for local computation with imprecise probabilities. These algorithms try to solve problems of inference calculation of conditional or unconditional p...
FSTTCS
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
For many multi-part object classes, the set of parts can vary not only in location but also in type. For example, player formations in American football involve various subsets of...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
Recent studies on visual tracking have shown significant improvement in accuracy by handling the appearance variations of the target object. Whereas most studies present schemes ...