4150 search results - page 389 / 830 » A Practical Approach to Model Extension |
172
click to vote
PRL
2006
15 years 6 months ago
2006
Information retrieval which aims to provide people with easy access to all kinds of information is now becoming more and more emphasized. However, most approaches to information r...
181
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
170
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Coronary Heart Disease can be diagnosed by assessing the regional motion of the heart walls in ultrasound images of the left ventricle. Even for experts, ultrasound images are dif...
180
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
Trajectory planning and optimization is a fundamental problem in articulated robotics. Algorithms used typically for this problem compute optimal trajectories from scratch in a ne...
137
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Analyzing a program run can provide important insights about its correctness. Dynamic analysis of complex correctness properties, however, usually results in significant run-time ...