Sciweavers

1450 search results - page 118 / 290
» On the Complexity of Hardness Amplification
Sort
View
IASTEDSEA
2004
13 years 10 months ago
Tube: Interactive model-integrated object-oriented programming
Software engineering is hampered by the fact that software systems quickly become so complex that they are hard to understand, evolve and maintain. Closer integration of code and ...
Axel Rauschmayer, Patrick Renner
WEBNET
2001
13 years 10 months ago
Managing Distributed Personal Firewalls with Smart Data Servers
: Modern security architectures tend to become more and more complex. Not only the chances to improve Web applications using several data channels and diverse (TCP-)ports are very ...
Ernst Georg Haffner, Uwe Roth, Andreas Heuer 0002,...
EUROGRAPHICS
2010
Eurographics
13 years 10 months ago
Scalable Height Field Self-Shadowing
We present a new method suitable for general purpose graphics processing units to render self-shadows on dynamic height fields under dynamic light environments in real-time. Visib...
Ville Timonen and Jan Westerholm
AIR
2010
96views more  AIR 2010»
13 years 9 months ago
Logic programming for combinatorial problems
Combinatorial problems appear in many areas in science, engineering, biomedicine, business, and operations research. This article presents a new intelligent computing approach for...
Toshinori Munakata, Roman Barták
APAL
2008
84views more  APAL 2008»
13 years 9 months ago
Resolution over linear equations and multilinear proofs
We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead ...
Ran Raz, Iddo Tzameret