867 search results - page 101 / 174 » On Two Forms of Structural Recursion |
170
click to vote
BIRTHDAY
2000
Springer
15 years 10 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
170
Voted
SAT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We describe a DPLL-based solver for the problem of quantified boolean formulas (QBF) in non-prenex, non-CNF form. We make two contributions. First, we reformulate clause...
174
click to vote
EDO
2006
Springer
15 years 9 months ago
2006
Springer
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
170
Voted
AAAI
2008
15 years 8 months ago
2008
Matrix factorization algorithms are frequently used in the machine learning community to find low dimensional representations of data. We introduce a novel generative Bayesian pro...
142
click to vote
MKWI
2008
15 years 7 months ago
2008
Agile workflow technology deals with business processes that require structural changes during run-time. For the difficult task of adapting the workflows, a modelling language that...