6757 search results - page 731 / 1352 » Knowledge Analysis on Process Models |
231
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
In the standard formalization of supervised learning problems, a datum is represented as a vector of features without prior knowledge about relationships among features. However, ...
194
click to vote
IANDC
2008
15 years 7 months ago
2008
We are interested in the design of automated procedures for analyzing the (in)security of cryptographic protocols in the Dolev-Yao model for a bounded number of sessions when we t...
173
click to vote
IJON
2000
15 years 6 months ago
2000
Harmonic analysis is applied to analyze the transmission of bandlimited signals via spike trains generated by a pair of leaky integrate-and-fire (LIF) model neurons organized in a...
181
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
Parametric models of shape and texture such as Active Appearance Models (AAMs) are diverse tools for deformable object appearance modeling and have found important applications in...
224
click to vote
MEMOCODE
2008
IEEE
16 years 1 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...