4290 search results - page 745 / 858 » Formal Approaches to Teamwork |
153
click to vote
GG
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
161
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is becoming much more complex. S...
234
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
Many applications require optimizing an unknown, noisy function that is expensive to evaluate. We formalize this task as a multiarmed bandit problem, where the payoff function is ...
175
click to vote
ACMDIS
2010
ACM
15 years 6 months ago
2010
ACM
Artifacts can be used to inspire, guide, and create new designs. As approaches to design can range from focusing on inspiration to formalized reasoning, we seek to create and stud...
202
click to vote
CVPR
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper focuses on hallucinating a facial shape from a low-resolution 3D facial shape. Firstly, we give a constrained conformal embedding of 3D shape in R2 , which establishes ...