Sciweavers

2080 search results - page 160 / 416
» Measuring empirical computational complexity
Sort
View
FQAS
2009
Springer
202views Database» more  FQAS 2009»
15 years 11 months ago
Controlled Aggregate Tree Shaped Questions over Ontologies
Abstract. Controlled languages (CLs) are ambiguity-free subsets of natural languages such as English offering a good trade-off between the formal rigor of ontology and query langua...
Camilo Thorne, Diego Calvanese
COMPLEX
2009
Springer
15 years 9 months ago
A Max-Min Principle for Phyllotactic Patterns
Abstract. An interesting phenomenon about phyllotaxis is the divergence angle between two consecutive primordia. In this paper, we consider a dynamic model based on Max-Min princip...
Wai-Ki Ching, Yang Cong, Nam-Kiu Tsing
FOGA
2011
14 years 8 months ago
The logarithmic hypervolume indicator
It was recently proven that sets of points maximizing the hypervolume indicator do not give a good multiplicative approximation of the Pareto front. We introduce a new “logarith...
Tobias Friedrich, Karl Bringmann, Thomas Voß...
ICN
2005
Springer
15 years 10 months ago
AIMD Penalty Shaper to Enforce Assured Service for TCP Flows
Abstract. Many studies explored the guaranteed TCP throughput problem in DiffServ networks. Several new marking schemes have been proposed in order to solve this problem. Even if ...
Emmanuel Lochin, Pascal Anelli, Serge Fdida
SIGDOC
2004
ACM
15 years 10 months ago
Changes in scientific articles over two hundred years: a coh-metrix analysis
We analyzed texts from years 1800-2004 from the Philosophical Transactions of the Royal Society of London. Two-thousand-word sections from about 20 articles published at 25-year i...
Michell Bruss, Michael J. Albers, Danielle McNamer...