7557 search results - page 1249 / 1512 » Modeling Timed Concurrent Systems |
192
Voted
BMVC
2010
15 years 5 months ago
2010
RANSAC (Random Sample Consensus) is a popular and effective technique for estimating model parameters in the presence of outliers. Efficient algorithms are necessary for both fram...
155
Voted
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
This paper describes the control of a human-like robotic neck actuated with tendons. The controller regulates the length of the tendons to achieve a desired orientation of the neck...
246
Voted
IWPEC
2010
Springer
15 years 5 months ago
2010
Springer
We consider the computational complexity of a problem modeling bribery in the context of voting systems. In the scenario of Swap Bribery, each voter assigns a certain price for swa...
190
Voted
SOCIALCOM
2010
15 years 5 months ago
2010
Sharing life-log information in a social community has many advantages, both for the user and society. But sharing any type of personal information is a threat to privacy. In parti...
214
Voted
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
A typical online Business Intelligence (BI) workload consists of a combination of short, less intensive queries, along with long, resource intensive queries. As such, the longest ...