1984 search results - page 144 / 397 » The colourful feasibility problem |
ADMA
2006
Springer
14 years 4 months ago
2006
Springer
Abstract. Practical pattern classification and knowledge discovery problems require selecting a useful subset of features from a much larger set to represent the patterns to be cl...
WOWMOM
2006
ACM
14 years 4 months ago
2006
ACM
Abstract— A sybil node impersonates other nodes by broadcasting messages with multiple node identifiers (ID). In contrast to existing solutions which are based on sharing encryp...
ACSAC
2005
IEEE
14 years 3 months ago
2005
IEEE
Logging and auditing is an important system facility for monitoring correct system operation and for detecting potential security problems. We present an architecture for implemen...
HYBRID
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...
ICTAC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. P systems (known also as membrane systems) are biologically motivated theoretical models of distributed and parallel computing. The two most interesting questions in the ...