6562 search results - page 1005 / 1313 » Noetherianity and Combination Problems |
170
click to vote
IVA
2005
Springer
16 years 9 days ago
2005
Springer
We present an interactive installation with life-size virtual agents that inform, entertain, encourage, and assist visitors during the process of building a car. It will be install...
146
click to vote
MICAI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this paper, a new fuzzy logic-based approach to production scheduling in the presence of uncertain disruptions is presented. The approach is applied to a real-life pro...
152
click to vote
MICCAI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We have been developing an approach for automatically quantifying organ motion for adaptive radiation therapy of the prostate. Our approach is based on deformable image r...
169
click to vote
PKDD
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Social network analysis has attracted much attention in recent years. Community mining is one of the major directions in social network analysis. Most of the existing met...
184
click to vote
PPDP
2005
Springer
2005
Springer
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures
16 years 9 days ago
Formal methods have proved to be very useful for analyzing cryptographic protocols. However, most existing techniques apply to the case of abstract encryption schemes and pairing....