2171 search results - page 81 / 435 » Combining Funnels: A Dynamic Approach to Software Combining |
EOR
2002
15 years 4 months ago
2002
We develop a multicriteria approach to the problem of space heating under a time varying price of electricity. In our dynamic goal programming model the goals are ideal temperatur...
144
click to vote
TROB
2008
15 years 4 months ago
2008
We present a system for robust robot skill acquisition from kinesthetic demonstrations. This system allows a robot to learn a simple goal-directed gesture, and correctly reproduce...
136
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper the segmentation of a meeting into meeting events is investigated as well as the recognition of the detected segments. First the classification of a meeting event is...
131
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
A method is proposed to encode multiple regions of interest(ROI) in JPEG2000 image. It rearranges truncation point for every codeblock in each layer. It assigns higher bitrate to ...
143
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...