1336 search results - page 92 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
122
click to vote
SMI
2005
IEEE
15 years 9 months ago
2005
IEEE
The recent ability to measure quickly and inexpensively dense sets of points on physical objects has deeply influenced the way engineers used to represent shapes in CAD systems, ...
124
Voted
TSD
2000
Springer
15 years 7 months ago
2000
Springer
A method for stochastically modeling bidirectionality in chart parsing is presented. A bidirectional parser, which starts analysis from certain dynamically determined positions of ...
134
Voted
AFRIGRAPH
2001
ACM
15 years 7 months ago
2001
ACM
This article presents a gesture detection and analysis framework for modelling multimodal interactions. It is particulary designed for its use in Virtual Reality (VR) applications...
157
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
113
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Speaker diarization of meetings recorded with Multiple Distant Microphones makes extensive use of multiple feature streams like MFCC and Time Delay of Arrivals (TDOA). Typically t...