7200 search results - page 1176 / 1440 » On the Computational Power of Winner-Take-All |
115
Voted
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
112
click to vote
ECOOP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
91
Voted
FOSSACS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
ICVS
2003
Springer
15 years 6 months ago
2003
Springer
We consider typical manipulation tasks in terms of a service robot framework. Given a task at hand, such as ”Pick up the cup from the dinner table”, we present a number of diff...
119
click to vote
WEA
2010
Springer
15 years 5 months ago
2010
Springer
Server based route planning in road networks is now powerful enough to find quickest paths in a matter of milliseconds, even if detailed information on time-dependent travel times...