4762 search results - page 187 / 953 » About the use of protein models |
120
click to vote
ENTCS
2006
15 years 1 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
127
click to vote
AAMAS
2000
Springer
15 years 1 months ago
2000
Springer
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm t...
BMVC
2000
15 years 3 months ago
2000
We propose a novel hierarchical model of human dynamics for view independent tracking of the human body in monocular video sequences. The model is trained using real data from a c...
108
Voted
NIPS
2008
15 years 3 months ago
2008
Young children demonstrate the ability to make inferences about the preferences of other agents based on their choices. However, there exists no overarching account of what childr...
114
Voted
ICMCS
2008
IEEE
15 years 8 months ago
2008
IEEE
The audio scene from broadcast soccer can be used for identifying highlights from the game. Audio cues derived from these sources provide valuable information about game events, a...