279 search results - page 40 / 56 » Testing for Refinement in CSP |
CHI
2005
ACM
16 years 3 days ago
2005
ACM
The Cognitive Walkthrough for the Web (CWW) is a partially automated usability evaluation method for identifying and repairing website navigation problems. Building on five earlie...
186
click to vote
POPL
2008
ACM
16 years 1 days ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...
AINA
2008
IEEE
15 years 6 months ago
2008
IEEE
An experimental study shows the feasibility of service-oriented architectures for industrial automation and control systems even with respect to lower, real-time dependent control...
109
click to vote
EMMCVPR
2007
Springer
15 years 5 months ago
2007
Springer
: We presented and evaluated a new Bayesian method for range image segmentation. The method proceeds in to stages. First, an initial segmentation was produced by a randomized regio...
AIPR
2005
IEEE
15 years 5 months ago
2005
IEEE
Medical image fusion is becoming increasingly popular for enhancing diagnostic accuracy by intelligently ‘fusing’ information obtained from two different images. These images ...