Sciweavers

3719 search results - page 12 / 744
» order 2010
Sort
View
FIRA
2010
Springer
143views Robotics» more  FIRA 2010»
15 years 3 months ago
Ordering of Robotic Navigational Tasks in Home Environment
Syed Atif Mehdi, Karsten Berns
53
Voted
CORR
2010
Springer
45views Education» more  CORR 2010»
15 years 3 months ago
Algebraic Linear Orderings
Stephen L. Bloom, Zoltán Ésik
72
Voted
CORR
2010
Springer
87views Education» more  CORR 2010»
15 years 3 months ago
Roberts' Theorem with Neutrality: A Social Welfare Ordering Approach
Debasis Mishra, Arunava Sen
51
Voted
CORR
2010
Springer
46views Education» more  CORR 2010»
15 years 3 months ago
Realizability algebras: a program to well order R
Jean-Louis Krivine
87
Voted
CORR
2010
Springer
137views Education» more  CORR 2010»
15 years 3 months ago
Positive Supercompilation for a Higher-Order Call-By-Value Language
Peter A. Jonsson, Johan Nordlander