2661 search results - page 351 / 533 » Model Checking Performability Properties |
DAGM
2007
Springer
14 years 4 months ago
2007
Springer
Magnetic resonance spectral images provide information on metabolic processes and can thus be used for in vivo tumor diagnosis. However, each single spectrum has to be checked manu...
LCPC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
In the integrity checking context of multimedia contents, a malicious user aims at devising a forged content in order to fool a watermarker by making him use as a genuine content....
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
- Collision detection is a critical module in many applications such as computer graphics, robot motion planning, physical simulation, CAD/CAM, and molecular modeling. Many efficie...
MMM
2005
Springer
14 years 4 months ago
2005
Springer
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...