6020 search results - page 1172 / 1204 » A New Approach to Model Counting |
131
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Separation of duties (SoD) is a key security requirement for many business and information systems. Role Based Access Controls (RBAC) is a relatively new paradigm for protecting i...
142
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— We present the Binocular Sparse Feature Segmentation (BSFS) algorithm for vision-based person following with a mobile robot. BSFS uses Lucas-Kanade feature detection an...
127
click to vote
COCO
2007
Springer
15 years 10 months ago
2007
Springer
We consider the k-layer pointer jumping problem in the one-way multi-party number-on-the-forehead communication model. Sufficiently strong lower bounds for the problem would have...
129
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
A coevolutionary competitive learning environment for two antagonistic agents is presented. The agents are controlled by a new kind of computational network based on a compartment...
133
click to vote
ELPUB
2006
ACM
15 years 10 months ago
2006
ACM
By the end of this year visitors to the Flemish town of Mechelen can discover the city with the help of the new CityInMyPocket walking guide. Instead of following a person or a bo...