8196 search results - page 238 / 1640 » Computational Modeling and Complexity Science |
163
click to vote
IFIPTCS
2010
15 years 4 months ago
2010
Abstract. We investigate systematically into the various possible notions of traceable sets and the relations they bear to each other and to other notions such as diagonally noncom...
188
click to vote
FCS
2009
15 years 4 months ago
2009
- A representation for a set is defined to be symmetric if the space required for the representation of the set is the same as the space required for representation of the set'...
178
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
— To counteract current trends in network malware, distributed solutions have been developed that harness the power of collaborative end-host sensors. While these systems greatly...
180
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
163
click to vote
FOCS
2005
IEEE
16 years 5 days ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...