315 search results - page 35 / 63 » Claims Analysis |
135
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
The properties of symmetric fitness functions are investigated. We show that a well-known encoding scheme inducing symmetric functions has the non-synonymous property and the sear...
138
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
142
Voted
TSP
2012
13 years 11 months ago
2012
—Modeling natural and artificial systems has played a key role in various applications and has long been a task that has drawn enormous efforts. In this work, instead of explori...
124
Voted
ISCA
2010
IEEE
15 years 9 months ago
2010
IEEE
Recent advances in computing have led to an explosion in the amount of data being generated. Processing the ever-growing data in a timely manner has made throughput computing an i...
120
click to vote
AAAI
1994
15 years 5 months ago
1994
Plan recognition techniques frequently make rigid assumptions about the student's plans, and invest substantial effort to infer unobservable properties of the student. The pe...