276 search results - page 42 / 56 » A Case Study in the Use of Theory Revision in Requirements V... |
VL
2008
IEEE
14 years 2 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
ISBI
2007
IEEE
14 years 1 months ago
2007
IEEE
Pittsburg Compound B (PIB) is a Positron Emission Tomography (PET) radio tracer used to image in-vivo, beta amyloid plaques which are one of the major histopathological hallmarks ...
ISCA
2003
IEEE
14 years 27 days ago
2003
IEEE
With power density and hence cooling costs rising exponentially, processor packaging can no longer be designed for the worst case, and there is an urgent need for runtime processo...
BMVC
2010
13 years 5 months ago
2010
Multi-camera systems are more and more used in vision-based robotics. An accurate extrinsic calibration is usually required. In most of cases, this task is done by matching featur...
JCIT
2010
13 years 2 months ago
2010
Web Service Choreography Description Language is a main-stream standard for the description of peer-to-peer collaborations for the participants for service composition. To predict...