Sciweavers

6562 search results - page 1005 / 1313
» Noetherianity and Combination Problems
Sort
View
IVA
2005
Springer
16 years 9 days ago
Using Real Objects to Communicate with Virtual Characters
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...
Patrick Gebhard, Martin Klesen
MICAI
2005
Springer
16 years 9 days ago
Analysis of Performance of Fuzzy Logic-Based Production Scheduling by Simulation
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...
Alejandra Duenas, Dobrila Petrovic, Sanja Petrovic
MICCAI
2005
Springer
16 years 9 days ago
Automatic Segmentation of Intra-treatment CT Images for Adaptive Radiation Therapy of the Prostate
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...
B. C. Davis, Mark Foskey, Julian Rosenman, L. Goya...
PKDD
2005
Springer
89views Data Mining» more  PKDD 2005»
16 years 9 days ago
Community Mining from Multi-relational Networks
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...
Deng Cai, Zheng Shao, Xiaofei He, Xifeng Yan, Jiaw...
PPDP
2005
Springer
16 years 9 days ago
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures
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....
Véronique Cortier, Michaël Rusinowitch...
« Prev « First page 1005 / 1313 Last » Next »