Sciweavers

3778 search results - page 737 / 756
» Erdos-Ko-Rado for three sets
Sort
View
IANDC
2006
121views more  IANDC 2006»
14 years 9 months ago
Comparing operational models of name-passing process calculi
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
Marcelo P. Fiore, Sam Staton
IJRR
2008
139views more  IJRR 2008»
14 years 9 months ago
Learning to Control in Operational Space
One of the most general frameworks for phrasing control problems for complex, redundant robots is operational space control. However, while this framework is of essential importan...
Jan Peters, Stefan Schaal
CGF
2007
156views more  CGF 2007»
14 years 9 months ago
Automatic Light Source Placement for Maximum Visual Information Recovery
The automatic selection of good viewing parameters is a very complex problem. In most cases, the notion of good strongly depends on the concrete application. Moreover, when an int...
Pere-Pau Vázquez
CGF
2007
99views more  CGF 2007»
14 years 9 months ago
Layered Performance Animation with Correlation Maps
Performance has a spontaneity and “aliveness” that can be difficult to capture in more methodical animation processes such as keyframing. Access to performance animation has ...
Michael Neff, Irene Albrecht, Hans-Peter Seidel
INFSOF
2008
201views more  INFSOF 2008»
14 years 9 months ago
Motivation in Software Engineering: A systematic literature review
Objective: In this paper, we present a systematic literature review of motivation in Software Engineering. The objective of this review is to plot the landscape of current reporte...
Sarah Beecham, Nathan Baddoo, Tracy Hall, Hugh Rob...