239 search results - page 34 / 48 » Reusing Model Transformations While Preserving Properties |
102
click to vote
PAMI
2011
14 years 11 days ago
2011
— This paper addresses how to model and correct image blur that arises when a camera undergoes ego motion while observing a distant scene. In particular, we discuss how the blurr...
CIKM
1994
Springer
15 years 1 months ago
1994
Springer
may be saved for later reuse of material, but also to preserve the historical perspective of work done [ha:92]. In particular, in distributed and collaborative hypertext systems, v...
96
Voted
TACAS
2012
Springer
13 years 5 months ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
ECCV
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Human faces are remarkably similar in global properties, including size, aspect ratios, and locations of main features, but can vary considerably in details across indivi...