1127 search results - page 206 / 226 » Theory Extension in ACL2(r) |
112
Voted
IJHPCA
2008
15 years 18 days ago
2008
Grid computing intends to share heterogeneous resources in dynamic service-based environments. This kind of systems has the major advantages of enabling rapid composition of distr...
CCE
2007
15 years 18 days ago
2007
In this work, a systematic approach to plant-wide control design is proposed. The method combines ingredients from process networks, thermodynamics and systems theory to derive ro...
108
click to vote
CGF
2007
15 years 18 days ago
2007
This paper proposes a real-time simulation technique for thin shells undergoing large deformation. Shells are thin objects such as leaves and papers that can be abstracted as 2D s...
96
Voted
CORR
2007
Springer
15 years 17 days ago
2007
Springer
– This paper deals with enriched qualitative belief functions for reasoning under uncertainty and for combining information expressed in natural language through linguistic label...
CSDA
2007
15 years 17 days ago
2007
At present, likelihood ratios for two-level models are determined with the use of a normal kernel estimation procedure when the between-group distribution is thought to be non-nor...