2083 search results - page 134 / 417 » Perception and Experience in Problem Solving |
143
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
Boolean circuits offer a natural, structured, and compact representation of Boolean functions for many application domains. In this paper a tableau method for solving satisfiabilit...
121
click to vote
SAC
1995
ACM
15 years 8 months ago
1995
ACM
A trigger system in High Energy Physics Experiments (HEPE) has to decide, in few µs, if the data related to a nuclear event have to be stored or not. Normally, these data, are co...
ER
1987
Springer
15 years 8 months ago
1987
Springer
We report on experience with database user interfaces that are entity-relationship oriented, rather than relation-oriented, and provide a new level of ease-of-use for information ...
182
click to vote
CSR
2008
Springer
15 years 6 months ago
2008
Springer
We offer cryptanalysis of a key exchange scheme due to Stickel [11], which was inspired by the well-known Diffie-Hellman protocol. We show that Stickel's choice of platform (t...
105
Voted
NIPS
2008
15 years 6 months ago
2008
In classification problems, Support Vector Machines maximize the margin of separation between two classes. While the paradigm has been successful, the solution obtained by SVMs is...