Sciweavers

793 search results - page 51 / 159
» Input Modeling Tools for Complex Problems
Sort
View
EOR
2011
172views more  EOR 2011»
14 years 7 months ago
Efficiency measurement using independent component analysis and data envelopment analysis
Efficiency measurement is an important issue for any firm or organization. Efficiency measurement allows organizations to compare their performance with their competitors’ and t...
Ling-Jing Kao, Chi-Jie Lu, Chih-Chou Chiu
PODC
2012
ACM
13 years 2 months ago
Weak models of distributed computing, with connections to modal logic
This work presents a classification of weak models of distributed computing. We focus on deterministic distributed algorithms, and we study models of computing that are weaker ve...
Lauri Hella, Matti Järvisalo, Antti Kuusisto,...
EMSOFT
2006
Springer
15 years 2 months ago
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
Venkita Subramonian, Christopher D. Gill, Cé...
BIRD
2008
Springer
109views Bioinformatics» more  BIRD 2008»
15 years 2 months ago
A Robust Class of Stable Proteins in the 2D HPC Model
The inverse protein folding problem is that of designing an amino acid sequence which has a prescribed native protein fold. This problem arises in drug design where a particular st...
Alireza Hadj Khodabakhshi, Ján Manuch, Aras...
94
Voted
CI
2004
116views more  CI 2004»
15 years 10 days ago
Solution Generation with Qualitative Models of Preferences
We consider automated decision aids that help users select the best solution from a large set of options. For such tools to successfully accomplish their task, eliciting and repre...
Boi Faltings, Marc Torrens, Pearl Pu