Sciweavers

2233 search results - page 373 / 447
» Modular type classes
Sort
View
112
Voted
EOR
2008
119views more  EOR 2008»
15 years 2 months ago
Market sharing dynamics between two service providers
We study the market partition between two distinct firms that deliver services to waiting time sensitive customers. In our model, the incoming customers select a firm on the basis...
Olivier Gallay, Max-Olivier Hongler
CLASSIFICATION
2006
78views more  CLASSIFICATION 2006»
15 years 2 months ago
Astrocladistics: A Phylogenetic Analysis of Galaxy Evolution II. Formation and Diversification of Galaxies
:This series of papers is intended to evaluate astrocladistics in reconstructing phylogenies of galaxies. The objective of this second paper is to formalize the concept of galaxy f...
Didier Fraix-Burnet, Philippe Choler, Emmanuel J. ...
CORR
2006
Springer
101views Education» more  CORR 2006»
15 years 2 months ago
Context-Sensitive Languages, Rational Graphs and Determinism
We investigate families of infinite automata for context-sensitive languages. An infinite automaton is an infinite labeled graph with two sets of initial and final vertices. Its la...
Arnaud Carayol, Antoine Meyer
ISCI
2008
117views more  ISCI 2008»
15 years 2 months ago
Search based software testing of object-oriented containers
Automatic software testing tools are still far from ideal for real world object-oriented (OO) software. The use of nature inspired search algorithms for this problem has been inve...
Andrea Arcuri, Xin Yao
117
Voted
JAIR
2008
130views more  JAIR 2008»
15 years 2 months ago
Axiomatic Foundations for Ranking Systems
Reasoning about agent preferences on a set of alternatives, and the aggregation of such preferences into some social ranking is a fundamental issue in reasoning about multi-agent ...
Alon Altman, Moshe Tennenholtz