6978 search results - page 253 / 1396 » On Proofs in System P |
161
click to vote
JCT
2007
15 years 6 months ago
2007
Given a sequence of integers b = (b0,b1,b2,...) one gives a Dyck path P of length 2n the weight wt(P) = bh1 bh2 ···bhn , where hi is the height of the ith ascent of P. The corr...
162
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
EEG-based brain computer interface (BCI) provides a new communication channel between the human brain and a computer. The classification of EEG data is an important task in EEG-ba...
193
click to vote
ICPP
2009
IEEE
15 years 4 months ago
2009
IEEE
The random seeking in P2P-VoD system requires efficient lookup for "good" suppliers. The main challenge is that good suppliers should meet two requirements: "conten...
204
click to vote
CSREASAM
2006
15 years 8 months ago
2006
Role based access control (RBAC) allows users access to resources based on their competencies and responsibilities within an organization. Typically, RBAC is provided as a securit...
164
click to vote
ESCIENCE
2007
IEEE
16 years 29 days ago
2007
IEEE
Nowadays, grid and peer-to-peer (p2p) technologies have become popular solutions for large-scale resource sharing and system integration. For e-science workflow systems, grid is a...