Sciweavers

16430 search results - page 156 / 3286
» On Computable Tree Functions
Sort
View
134
Voted
SEFM
2003
IEEE
15 years 9 months ago
From Requirements to Design: Formalizing the Key Steps
Despite the advances in software engineering since 1968, current methods for going from a set of functional requirements to a design are not as direct, repeatable and constructive...
R. Geoff Dromey
132
Voted
SODA
2003
ACM
119views Algorithms» more  SODA 2003»
15 years 5 months ago
Simultaneous optimization for concave costs: single sink aggregation or single source buy-at-bulk
We consider the problem of finding efficient trees to send information from k sources to a single sink in a network where information can be aggregated at intermediate nodes in t...
Ashish Goel, Deborah Estrin
142
Voted
SAC
2006
ACM
15 years 9 months ago
Protein classification using transductive learning on phylogenetic profiles
Phylogenetic profiles of proteins − strings of ones and zeros encoding respectively the presence and absence of proteins in a group of genomes − have recently been used to iden...
Roger A. Craig, Li Liao
85
Voted
CG
2004
Springer
15 years 9 months ago
Searching over Metapositions in Kriegspiel
Kriegspiel is a Chess variant similar to wargames, in which players have to deal with uncertainty. Kriegspiel increases the difficulty typical of Chess by hiding from each player h...
Andrea Bolognesi, Paolo Ciancarini
115
Voted
ECAI
1990
Springer
15 years 7 months ago
The Semantics of MOLUSC
Much recent work in computational morphology has presupposed that morphological operations are de nable on strings of phonological or graphemic objects. By contrast, theoretical l...
Lynne J. Cahill, Gerald Gazdar