Sciweavers

8838 search results - page 1452 / 1768
» Generalizing Domain Theory
Sort
View
SIAMSC
2010
108views more  SIAMSC 2010»
15 years 5 months ago
Goal-Oriented Error Estimation and Adaptivity for Free-Boundary Problems: The Shape-Linearization Approach
Abstract. We develop duality-based a posteriori error estimates for functional outputs of solutions of free-boundary problems via shape-linearization principles. To derive an appro...
K. G. van der Zee, E. H. van Brummelen, R. de Bors...
SWARM
2010
SPRINGER
283views Optimization» more  SWARM 2010»
15 years 5 months ago
Principles and applications of swarm intelligence for adaptive routing in telecommunications networks
In the past few years there has been a lot of research on the application of swarm intelligence to the problem of adaptive routing in telecommunications networks. A large number of...
Frederick Ducatelle, Gianni A. Di Caro, Luca Maria...
TIFS
2010
128views more  TIFS 2010»
15 years 5 months ago
Steganalysis by subtractive pixel adjacency matrix
This paper presents a novel method for detection of steganographic methods that embed in the spatial domain by adding a low-amplitude independent stego signal, an example of which...
Tomás Pevný, Patrick Bas, Jessica J....
TSE
2010
161views more  TSE 2010»
15 years 5 months ago
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...
CORR
2010
Springer
142views Education» more  CORR 2010»
15 years 5 months ago
Budget Feasible Mechanisms
We study a novel class of mechanism design problems in which the outcomes are constrained by the payments. This basic class of mechanism design problems captures many common econom...
Christos H. Papadimitriou, Yaron Singer
« Prev « First page 1452 / 1768 Last » Next »