4328 search results - page 491 / 866 » A New Kind of Science |
235
click to vote
SOFTCO
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. An artificial neural network with all its elements is a rather complex structure, not easily constructed and/or trained to perform a particular task. Consequently, severa...
232
click to vote
SPIN
2004
Springer
16 years 4 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
200
click to vote
ACSC
2003
IEEE
16 years 3 days ago
2003
IEEE
Today distributed denial of service (DDoS) attacks are causing major problems to conduct online business over the Internet. Recently several schemes have been proposed on how to p...
159
click to vote
FOCS
2003
IEEE
16 years 3 days ago
2003
IEEE
We consider coGapSV P√ n, a gap version of the shortest vector in a lattice problem. This problem is known to be in AM ∩coNP but is not known to be in NP or in MA. We prove th...
204
click to vote
FOCS
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper analyzes implementable social choice functions (in dominant strategies) over restricted domains of preferences, the leading example being combinatorial auctions. Our wo...