Sciweavers

1941 search results - page 125 / 389
» On the Hardness of Approximate Reasoning
Sort
View
BC
2006
102views more  BC 2006»
15 years 6 months ago
The Optimal Human Ventral Stream from Estimates of the Complexity of Visual Objects
The part of the primate visual cortex responsible for the recognition of objects is parcelled into about a dozen areas organized somewhat hierarchically (the region is called the v...
Mark A. Changizi
LICS
1999
IEEE
15 years 10 months ago
First-Order Logic vs. Fixed-Point Logic in Finite Set Theory
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...
Albert Atserias, Phokion G. Kolaitis
WSC
2004
15 years 7 months ago
Simulation-Based Pricing of Mortgage-Backed Securities
Mortgage-Backed-Securities (MBS), as the largest investment class of fixed income securities, have always been hard to price. Because of the following reasons, normal numerical me...
Jian Chen
COMPUTER
2004
120views more  COMPUTER 2004»
15 years 6 months ago
Computer Security in the Real World
After thirty years of work on computer security, why are almost all the systems in service today extremely vulnerable to attack? The main reason is that security is expensive to s...
Butler W. Lampson
COMCOM
2000
89views more  COMCOM 2000»
15 years 6 months ago
Operating system support for multimedia systems
Distributed multimedia applications will be an important part of tomorrow's application mix and require appropriate operating system (OS) support. Neither hard real-time solu...
Thomas Plagemann, Vera Goebel, Pål Halvorsen...