Sciweavers

2752 search results - page 302 / 551
» Rounding to an Integral Program
Sort
View
JUCS
2010
109views more  JUCS 2010»
15 years 5 months ago
Classification of Software for the Simulation of Light Scattering and Realization within an Internet Information Portal
: Light scattering studies are done by researchers of various scientific areas. As the calculation of the scattering behavior by small particles is rather complex, corresponding pr...
Jens Hellmers, Thomas Wriedt
UM
2010
Springer
15 years 5 months ago
Semantically-Enhanced Ubiquitous User Modeling
Semantically-enhanced Ubiquitous User Modeling aims at the management of distributed user models and the integration into ontologies to share user information amongst adaptive appl...
Till Plumbaum
TACAS
2010
Springer
151views Algorithms» more  TACAS 2010»
15 years 4 months ago
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
K. Rustan M. Leino, Philipp Rümmer
ICSE
2009
IEEE-ACM
15 years 4 months ago
SmartTutor: Creating IDE-based interactive tutorials via editable replay
Interactive tutorials, like Eclipse's cheat sheets, are good for novice programmers to learn how to perform tasks (e.g., checking out a CVS project) in an Integrated Developm...
Ying Zhang, Gang Huang, Nuyun Zhang, Hong Mei
179
Voted
ANOR
2011
158views more  ANOR 2011»
15 years 1 months ago
Hybrid scatter tabu search for unconstrained global optimization
Abstract The problem of finding a global optimum of an unconstrained multimodal function has been the subject of intensive study in recent years, giving rise to valuable advances ...
Abraham Duarte, Rafael Martí, Fred Glover, ...