1981 search results - page 348 / 397 » Model-Checking Hierarchical Structures |
142
click to vote
IMSA
2001
15 years 3 months ago
2001
We have developed a secure, collaborative, web-based electronic notebook (EN) designed to provide researchers and students with a means to record and share their primary research ...
105
click to vote
IQ
2001
15 years 3 months ago
2001
: Corporate household data not only refers to the strict hierarchical structure about and within the corporation, but also the variety of inter-organizational relationships. It is ...
UAI
2001
15 years 3 months ago
2001
This paper considers the problem of knowledgebased model construction in the presence of uncertainty about the association of domain entities to random variables. Multi-entity Bay...
129
click to vote
WSC
2001
15 years 3 months ago
2001
Discrete-event simulation is an established tool for the design and management of large-scale mail sortation and distribution systems. Because the design of distribution facilitie...
130
click to vote
WSCG
2004
15 years 3 months ago
2004
This paper proposes an embedded rate scalable wavelet-based image coding algorithm. We introduce a simple and efficient approach for coding the positions and the signs of the wave...