6829 search results - page 1095 / 1366 » Quantitative Generalizations of Languages |
130
click to vote
PAKDD
2004
ACM
15 years 10 months ago
2004
ACM
Our previous work introduced a 3D particle visualization framework that viewed each data point as being a particle affected by gravitational forces. We showed the use of this tool ...
120
click to vote
SAT
2004
Springer
15 years 10 months ago
2004
Springer
We propose and study a technique to improve the performance of those local-search SAT solvers that proceed by executing a prespecified number of tries, each starting with an eleme...
150
click to vote
SIGADA
2004
Springer
15 years 10 months ago
2004
Springer
Genetic Algorithms provide computational procedures that are modeled on natural genetic system mechanics, whereby a coded solution is “evolved” from a set of potential solutio...
153
click to vote
TCC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
153
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...