7623 search results - page 942 / 1525 » Constructive Volume Modeling |
216
click to vote
WCE
2007
15 years 8 months ago
2007
—Multistage stochastic programs are effective for solving long-term planning problems under uncertainty. Such programs are usually based on scenario generation model about future...
314
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
208
click to vote
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
182
click to vote
IWSEC
2007
Springer
16 years 1 months ago
2007
Springer
At Indocrypt 2005, Viet et al., [22] have proposed an anonymous password-authenticated key exchange (PAKE) protocol and its threshold construction both of which are designed for cl...
173
click to vote
FC
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. We introduce a new cryptographic problem called time capsule signature. Time capsule signature is a ‘future signature’ that becomes valid from a specific future time...