5525 search results - page 887 / 1105 » Verification of Model Transformations |
135
click to vote
CAEPIA
2005
Springer
15 years 10 months ago
2005
Springer
Conformant planning is a variation of classical AI planning where the initial state is partially known and actions can have nondeterministic effects. While a classical plan must a...
161
click to vote
VLSM
2005
Springer
15 years 9 months ago
2005
Springer
For non-rigid registration, the objects in medical images are usually treated as a single deformable body with homogeneous stiffness distribution. However, this assumption is inval...
153
click to vote
DAWAK
2006
Springer
15 years 8 months ago
2006
Springer
Comprehensive data analysis has become indispensable in a variety of environments. Standard OLAP (On-Line Analytical Processing) systems, designed for satisfying the reporting need...
170
click to vote
AAAI
2010
15 years 5 months ago
2010
Advertising in the case of textual Web pages has been studied extensively by many researchers. However, with the increasing amount of multimedia data such as image, audio and vide...
128
click to vote
IMAGING
2003
15 years 5 months ago
2003
The use of an Interim Connection Space (ICS) is proposed as a means for extending the concept of device independent color management to support spectral imaging. Color management,...