Sciweavers

2183 search results - page 330 / 437
» Algorithmic issues in modeling motion
Sort
View
ICLP
2007
Springer
14 years 2 months ago
Core TuLiP Logic Programming for Trust Management
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
Marcin Czenko, Sandro Etalle
INFOCOM
2006
IEEE
14 years 2 months ago
Network Protocol System Fingerprinting - A Formal Approach
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
Guoqiang Shu, David Lee
INFOSCALE
2006
ACM
14 years 2 months ago
A predictive approach to achieving consistency in cooperative caching in MANET
Cooperative caching is a very important technique for efficient data dissemination and sharing in mobile ad hoc networks (MANETs). Many applications have requirements on the consi...
Yu Huang 0002, Jiannong Cao, Beihong Jin
HAPTICS
2005
IEEE
14 years 1 months ago
A Haptic Interface for Human-in-the-Loop Manipulation at the Nanoscale
This paper outlines major challenges that we are facing in interfacing a human user with objects in the nanoworld via a haptic interface. After a review of prior efforts at haptic...
Hong Z. Tan, Laron Walker, Ron Reifenberger, Sorub...
MM
2004
ACM
78views Multimedia» more  MM 2004»
14 years 1 months ago
Indexing and matching of polyphonic songs for query-by-singing system
This paper investigates the issues in polyphonic popular song retrieval. The problems that we consider include singing voice extraction, melodic curve representation, and database...
Tat-Wan Leung, Chong-Wah Ngo