1151 search results - page 126 / 231 » Modelling Digital Circuits Problems with Set Constraints |
174
Voted
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
132
click to vote
ECCC
2008
15 years 3 months ago
2008
Any proof of P = NP will have to overcome two barriers: relativization and natural proofs. Yet over the last decade, we have seen circuit lower bounds (for example, that PP does n...
141
click to vote
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we tackle the problem of object detection and tracking in a new and challenging domain of wide area surveillance. This problem poses several challenges: large camera...
151
click to vote
BIBE
2007
IEEE
15 years 7 months ago
2007
IEEE
Non-negative matrix factorization (NMF) and non-negative tensor factorization (NTF) have attracted much attention and have been successfully applied to numerous data analysis probl...
161
Voted
ICDCS
1995
IEEE
15 years 7 months ago
1995
IEEE
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...