5550 search results - page 777 / 1110 » Different Approaches to Proof Systems |
177
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Privacy and security are critical requirements for using patient profiles in distributed healthcare environments. The amalgamation of new information technology with traditional ...
182
click to vote
CBMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Clinical practice and research rely increasingly on analytic approaches to patient data. Visualization enables the comparative exploration of similar patients, a key requirement i...
203
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Localization and context interpretation are two key competences for mobile robot systems. Visual place recognition, as opposed to purely geometrical models, holds promise of hi...
171
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
175
click to vote
IEEESCC
2008
IEEE
16 years 1 months ago
2008
IEEE
Business partners willing to do business electronically with each other must reach an agreement (1) on the economic level, (2) on the inter-organizational process choreography, an...