2086 search results - page 121 / 418 » Mathematical Theory Exploration |
129
Voted
TELSYS
2002
15 years 3 months ago
2002
Abstract. Time dependent behavior has an impact on the performance of telecommunication models. Examples include: staffing a call center, pricing the inventory of private line serv...
112
Voted
LLC
2011
14 years 10 months ago
2011
Computational phonology approaches the study of sound patterns in the world’s languages from a computational perspective. This article explains this perspective and its relevanc...
113
Voted
MKM
2004
Springer
15 years 9 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...
142
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
In this paper we describe a problem of discovering query clusters from a click-through graph of web search logs. The graph consists of a set of web search queries, a set of pages ...
112
Voted
ITP
2010
15 years 7 months ago
2010
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...