10072 search results - page 244 / 2015 » Composition of Model Programs |
155
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
177
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper describes two algorithms capable of real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/co...
234
click to vote
JOOP
1998
15 years 6 months ago
1998
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...
217
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
158
click to vote
ICMCS
2005
IEEE
16 years 5 days ago
2005
IEEE
In this paper, we propose an effective approach to the nearly untouched problem, still photograph auto cropping, which is one of the important features to automatically enhance ph...