15660 search results - page 49 / 3132 » The Unbalance of Set Systems |
176
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
160
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The functional consolidation induced by the costreduction trends in embedded systems can force tasks of different criticality (e.g. ABS Brakes with DVD) to share a proce...
199
click to vote
ACM
1995
15 years 9 months ago
1995
We study properties of rough sets, that is, approximations to sets of records in a database or, more formally, to subsets of the universe of an information system. A rough set is a...
160
click to vote
ACL
2009
15 years 4 months ago
2009
An important and well-studied problem is the production of semantic lexicons from a large corpus. In this paper, we present a system named ASIA (Automatic Set Instance Acquirer), ...
151
click to vote
EUROSEC
2010
ACM
15 years 11 months ago
2010
ACM
The prevalent use of the signature-based approach in modern intrusion detection systems (IDS) emphasizes the importance of the efficient management of the employed signature sets....