1008 search results - page 157 / 202 » Canonicity! |
111
click to vote
WSC
2007
15 years 5 months ago
2007
Two discrete-event simulations are developed to assess the feasibility of improving the delivery process of reinforced concrete structures. The simulations represent the resource ...
143
click to vote
BIRTHDAY
2008
Springer
15 years 5 months ago
2008
Springer
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
168
click to vote
ITP
2010
15 years 5 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
132
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Search engine researchers typically depict search as the solitary activity of an individual searcher. In contrast, results from our critical-incident survey of 150 users on Amazon...
116
click to vote
EUROPAR
2008
Springer
15 years 5 months ago
2008
Springer
To prepare for future peta- or exa-scale computing, it is important to gain a good understanding on what impacts a hierarchical storage system would have on the performance of data...