Sciweavers

703 search results - page 93 / 141
» A general framework for multidimensional adaptation
Sort
View
IPPS
2010
IEEE
13 years 5 months ago
Measuring properties of molecular surfaces using ray casting
Molecular geometric properties, such as volume, exposed surface area, and occurrence of internal cavities, are important inputs to many applications in molecular modeling. In this ...
Mike Phillips, Iliyan Georgiev, Anna Katharina Deh...
CPAIOR
2011
Springer
12 years 11 months ago
Optimization Methods for the Partner Units Problem
In this work we present the Partner Units Problem as a novel challenge for optimization methods. It captures a certain type of configuration problem that frequently occurs in indu...
Markus Aschinger, Conrad Drescher, Gerhard Friedri...
AAAI
2011
12 years 7 months ago
Linear Dynamic Programs for Resource Management
Sustainable resource management in many domains presents large continuous stochastic optimization problems, which can often be modeled as Markov decision processes (MDPs). To solv...
Marek Petrik, Shlomo Zilberstein
CSFW
2004
IEEE
13 years 11 months ago
Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
Michael Backes, Birgit Pfitzmann
WMI
2001
104views more  WMI 2001»
13 years 9 months ago
Pricing differentiated services in the GPRS environment
The General Packet Radio Service extends the existing GSM mobile communications technology by providing packet switching and higher data rates in order to efficiently access IPbas...
Sergios Soursos, Costas Courcoubetis, George C. Po...