1888 search results - page 223 / 378 » Proof theory and computational analysis |
168
click to vote
URBAN
2008
15 years 7 months ago
2008
Rough set theory has been primarily known as a mathematical approach for analysis of a vague description of objects. This paper explores the use of rough set theory to manage the ...
163
Voted
SIAMAM
2010
15 years 5 months ago
2010
Above the critical temperature for the order-disorder transition, diblock copolymer melts have been observed to exhibit localized structures that exist within the homogeneous mixtu...
209
click to vote
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
We seek to increase user confidence in simulations as they are adapted to meet new requirements. Our approach includes formal representation of uncertainty, lightweight validation,...
212
click to vote
INFOSCALE
2006
ACM
16 years 1 months ago
2006
ACM
According to the special features of the dynamic heterogeneous grid environment, a loose-coupled and scalable resource model is described by a hybrid multi-level tree reflecting a...
185
click to vote
COMPGEOM
2009
ACM
15 years 11 months ago
2009
ACM
We study the complexity of the visibility map of terrains whose triangles are fat, not too steep and have roughly the same size. It is known that the complexity of the visibility ...