Sciweavers

35416 search results - page 6987 / 7084
» Evaluation
Sort
View
184
Voted
CORR
2011
Springer
194views Education» more  CORR 2011»
15 years 1 months ago
Polarized Montagovian Semantics for the Lambek-Grishin calculus
Grishin ([10]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([15]), who spok...
Arno Bastenhof
159
Voted
CORR
2011
Springer
188views Education» more  CORR 2011»
15 years 1 months ago
Towards Unbiased BFS Sampling
Abstract—Breadth First Search (BFS) is a widely used approach for sampling large unknown Internet topologies. Its main advantage over random walks and other exploration technique...
Maciej Kurant, Athina Markopoulou, Patrick Thiran
163
Voted
CORR
2011
Springer
158views Education» more  CORR 2011»
15 years 1 months ago
SqFreeEVAL: An (almost) optimal real-root isolation algorithm
Let f be a univariate polynomial with real coefficients, f ∈ R[X]. Subdivision algorithms based on algebraic techniques (e.g., Sturm or Descartes methods) are widely used for is...
Michael Burr, Felix Krahmer
180
Voted
CORR
2011
Springer
197views Education» more  CORR 2011»
15 years 1 months ago
High-Throughput Transaction Executions on Graphics Processors
OLTP (On-Line Transaction Processing) is an important business system sector in various traditional and emerging online services. Due to the increasing number of users, OLTP syste...
Bingsheng He, Jeffrey Xu Yu
255
Voted
CORR
2011
Springer
235views Education» more  CORR 2011»
15 years 1 months ago
On the accuracy of language trees
Historical linguistics aims at inferring the most likely language phylogenetic tree starting from information concerning the evolutionary relatedness of languages. The available i...
Simone Pompei, Vittorio Loreto, Francesca Tria
« Prev « First page 6987 / 7084 Last » Next »