Sciweavers

4211 search results - page 564 / 843
» Types as Abstract Interpretations
Sort
View
ISCIS
2005
Springer
16 years 20 hour ago
A Secure Communication Framework for Mobile Agents
Abstract. Communication, a fundamental concept in computing, allows two pieces of software to interact and to exchange information. It is an important aspect of mobile agent system...
Suat Ugurlu, Nadia Erdogan
ISMIS
2005
Springer
16 years 19 hour ago
A Query Expression and Processing Technique for an XML Search Engine
Abstract. One of the virtues of XML is that it allows complex structures to be easily expressed. This allows XML to be used as an intermediate, neutral, and standard form for repre...
Wol-Young Lee, Hwan-Seung Yong
IVA
2005
Springer
16 years 17 hour ago
Hierarchical Motion Controllers for Real-Time Autonomous Virtual Humans
Abstract. Continuous and synchronized whole-body motions are essential for achieving believable autonomous virtual humans in interactive applications. We present a new motion contr...
Marcelo Kallmann, Stacy Marsella
KES
2005
Springer
16 years 14 hour ago
Watermarking Protocol Compatible with Secret Algorithms for Resisting Invertibility Attack
Abstract. Invertibility attack is a hostile measure to breach watermarking systems. In this paper, a novel watermarking protocol using a one-way hash function and a check of random...
Xinpeng Zhang, Shuozhong Wang
MICCAI
2005
Springer
16 years 12 hour ago
Spectral Clustering Algorithms for Ultrasound Image Segmentation
Abstract. Image segmentation algorithms derived from spectral clustering analysis rely on the eigenvectors of the Laplacian of a weighted graph obtained from the image. The NCut cr...
Neculai Archip, Robert Rohling, Peter Cooperberg, ...