7289 search results - page 230 / 1458 » A Dependent Set Theory |
204
click to vote
RSCTC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In spatial reasoning the qualitative description of relations between spatial regions is of practical importance and has been widely studied. Examples of such relations a...
197
click to vote
FUIN
2006
15 years 6 months ago
2006
This paper introduces an approach to behavioral pattern identification as a part of a study of temporal patterns in complex dynamical systems. Rough set theory introduced by Zdzisl...
173
click to vote
ESIAT
2009
IEEE
15 years 3 months ago
2009
IEEE
Coalmine gas disaster is one of the severe natural disasters that restrict the safety production of coalmines. Timely monitoring and alarming of coalmine gas is an important part o...
206
click to vote
IACR
2011
14 years 5 months ago
2011
Abstract. In Asiacrypt 2010, Groth constructed the only previously known sublinearcommunication NIZK argument for circuit satisfiability in the common reference string model. We p...
164
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...