1664 search results - page 136 / 333 » Towards Partial Reasoning |
145
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
— Possibilistic logic is essentially a formalism for handling qualitative uncertainty with an inference machinery that remains close to the one of classical logic. It is capable ...
138
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
The deregulated electricity market calls for robust OPF tools that can provide (a) deterministic convergence, (b) accurate computation of a variety of nodal prices, (c) support of...
129
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
It is only recently that rational exchange schemes have been considered as an alternative solution to the exchange problem. A rational exchange protocol cannot provide fairness bu...
135
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
150
click to vote
W2GIS
2007
Springer
15 years 10 months ago
2007
Springer
One of the challenges raised by the construction of the semantic Web lies in the analysis and management of complex relationships (thematic, spatial and temporal) connecting severa...