6608 search results - page 954 / 1322 » On the Completeness of Model Checking |
194
click to vote
FCCM
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...
166
click to vote
ICMCS
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper presents an efficient algorithm for gesture detection in lecture videos by combining visual, speech and electronic slides. Besides accuracy, response time is also cons...
157
click to vote
IEEECIT
2006
IEEE
16 years 25 days ago
2006
IEEE
Through as an important part of service-oriented system architecture, service retrieval receives much attention from industry and academia and many methods have been proposed, the...
137
Voted
IJCNN
2006
IEEE
16 years 25 days ago
2006
IEEE
— We analyze the generalization performance of a student in a model composed of linear perceptrons: a true teacher, ensemble teachers, and the student. Calculating the generaliza...
183
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Multicast services are demanded by a variety of applications. Many applications require anonymity during their communication. However, there has been very little work on anonymous...