1604 search results - page 136 / 321 » Development Separation in Lambda-Calculus |
WSC
2008
15 years 2 months ago
2008
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...
72
Voted
CHI
2010
ACM
2010
ACM
Countertop responsive mirror: supporting physical retail shopping for sellers, buyers and companions
15 years 2 months ago
We examine opportunities for ubiquitous technologies in retail shopping, jewelry shopping in this case, to supplement the unique information needs inherent to physical trials of t...
82
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
106
click to vote
AICCSA
2005
IEEE
15 years 2 months ago
2005
IEEE
Object-oriented frameworks are a powerful reuse technique but they are also very complex and difficult to design. Framework’s design aims at separating the invariant aspects acr...
136
click to vote
CVPR
2005
IEEE
15 years 2 months ago
2005
IEEE
A novel two-stage level set evolution method for detecting man-made objects in aerial images is described. The method is based on a modified Mumford-Shah model and it uses a two-s...