Sciweavers

2877 search results - page 293 / 576
» Biological Computing
Sort
View
AAIM
2008
Springer
90views Algorithms» more  AAIM 2008»
16 years 29 days ago
Facility Location Problems: A Parameterized View
Facility Location can be seen as a whole family of problems which have many obvious applications in economics. They have been widely explored in the Operations Research community, ...
Michael R. Fellows, Henning Fernau
AB
2007
Springer
16 years 24 days ago
Cascaded Games
We introduce a novel model construction, cascaded games, that is intended to allow us to study the notion of steady states algebraically and structurally. The model construction is...
Jittisak Senachak, Mun'delanji Vestergaard, Ren&ea...
CIBCB
2005
IEEE
16 years 7 days ago
Cooperative Rec-I-DCM3: A Population-Based Approach for Reconstructing Phylogenies
Abstract— In this paper, we study the use of cooperation as a technique for designing faster algorithms for reconstructing phylogenetic trees. Our focus is on the use of cooperat...
Tiffani Williams, Marc Smith
ASM
2003
ASM
15 years 12 months ago
Remarks on Turbo ASMs for Functional Equations and Recursion Schemes
The question raised in [15] is answered how to naturally dely used forms of recursion by abstract machines. We show that turbo ASMs as defined in [7] allow one to faithfully refl...
Egon Börger, Tommaso Bolognesi
ASM
2003
ASM
15 years 12 months ago
ASMs versus Natural Semantics: A Comparison with New Insights
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
Sabine Glesner