1746 search results - page 150 / 350 » Residual for Component Specifications |
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
Abstract. We propose a method for automatically correcting the spherical topology of any segmentation under any digital connectivity. A multiple region growing process, concurrentl...
119
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Emotion is a topic of growing interest in the HCI community. Studying emotion within the HCI discipline is an exciting interdisciplinary task. This can be facilitated by the excha...
244
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We present PEAR (Protocol Extendable AnalyzeR), a tool automating the two static analyses for authentication protocols presented in [7, 8]. These analyses are based on a tagging s...
198
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
Scientific WorkFlows (SWFs) need to utilize components and applications in order to satisfy the requirements of specific workflow tasks. Technology trends in software development ...
140
click to vote
AH
2008
Springer
15 years 10 months ago
2008
Springer
The design of Adaptive Hypermedia is a difficult task which can be made easier if generic systems and AH creators’ models are reused. We address this design problem in the settin...