4418 search results - page 812 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
174
click to vote
RTSS
2005
IEEE
15 years 12 months ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...
171
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Just as POMDPs have been used to reason explicitly about uncertainty in single-agent systems, there has been recent interest in using multi-agent POMDPs to coordinate teams of age...
183
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
We consider the problem of link prediction in signed networks. Such networks arise on the web in a variety of ways when users can implicitly or explicitly tag their relationship w...
183
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
In this study we propose an integrated approach to the problem of 3D pose estimation. The main difference to the majority of known methods is the usage of complementary image info...
184
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We present a probabilistic model for generating personalised recommendations of items to users of a web service. The Matchbox system makes use of content information in the form o...