4810 search results - page 826 / 962 » Modeling Value Speculation |
161
click to vote
CCCG
1993
15 years 7 months ago
1993
An l-ruler is a chain of n links, each of length l. The links, which are allowed to cross, are modeled by line segments whose endpoints act as joints. A given configuration of an ...
166
click to vote
UAI
1990
15 years 7 months ago
1990
The intelligent reformulation or restructuring of a belief network can greatly increase the efficiency of inference. However, time expended for reformulation is not available for ...
145
click to vote
BCSHCI
2009
15 years 7 months ago
2009
This paper is about the evolution of a system prototype called Pensieve whose goal is to support people's reminiscing practices. A number of technologies exist to manage memo...
188
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
150
click to vote
DEXA
2010
Springer
15 years 7 months ago
2010
Springer
Mechanical properties are the attributes that measure the faculty of a metal to withstand several loads and tensions. Specifically, ultimate tensile strength is the force a materia...