9521 search results - page 271 / 1905 » Compiling with continuations, continued |
103
Voted
AMCS
2008
15 years 2 months ago
2008
95
Voted
CP
2010
Springer
15 years 2 months ago
2010
Springer
105
click to vote
FOCM
2010
15 years 2 months ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
125
click to vote
IANDC
2010
15 years 2 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
145
click to vote
ICML
2010
IEEE
15 years 2 months ago
2010
IEEE
Classical dynamic Bayesian networks (DBNs) are based on the homogeneous Markov assumption and cannot deal with heterogeneity and non-stationarity in temporal processes. Various ap...