2335 search results - page 419 / 467 » Type Checking Type Classes |
115
click to vote
COMPGEOM
2007
ACM
15 years 6 months ago
2007
ACM
We consider the problem of placing a small number of angle guards inside a simple polygon P so as to provide efficient proofs that any given point is inside P. Each angle guard vi...
124
click to vote
CPAIOR
2006
Springer
15 years 6 months ago
2006
Springer
We show that various duals that occur in optimization and constraint satisfaction can be classified as inference duals, relaxation duals, or both. We discuss linear programming, su...
136
Voted
ASIACRYPT
2003
Springer
15 years 6 months ago
2003
Springer
Motivated by privacy issues associated with dissemination of signed digital certificates, we define a new type of signature scheme called a `Universal Designated-Verifier Signatur...
115
Voted
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
Separation of concerns has been central to software engineering for decades, yet its many advantages are still not fully realized. A key reason is that traditional modularization ...
121
click to vote
RT
2000
Springer
15 years 6 months ago
2000
Springer
Rapidly simulating global illumination, including diffuse and glossy light transport is a very difficult problem. Finite element or radiosity approaches can achieve interactive si...