1763 search results - page 174 / 353 » A Formalization of Polytime Functions |
163
click to vote
GLVLSI
2007
IEEE
15 years 8 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
117
Voted
COLT
2006
Springer
15 years 8 months ago
2006
Springer
Stability is a common tool to verify the validity of sample based algorithms. In clustering it is widely used to tune the parameters of the algorithm, such as the number k of clust...
136
Voted
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
133
click to vote
AAAI
2008
15 years 6 months ago
2008
Particle filtering algorithms can be used for the monitoring of dynamic systems with continuous state variables and without any constraints on the form of the probability distribu...
139
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
One of the crucial reasons for adding semantic descriptions to Web services is to enable intelligent discovery, removing the need for a human to manually search and browse textual ...