1301 search results - page 5 / 261 » Specifications via Realizability |
CONTEXT
2005
Springer
15 years 5 months ago
2005
Springer
Enterprises develop procedures to address focuses in any case. However, procedures result often in sub-optimal solutions for any specific focus. As a consequence, each actor develo...
84
Voted
FUIN
2008
14 years 11 months ago
2008
This article investigates Krivine's realizability interpretation of classical second-order arithmetic and its recent extension handling countable choice. We will start by pre...
102
click to vote
CHI
2009
ACM
15 years 3 months ago
2009
ACM
Mobile vision services are a type of mobile ITS applications that emerge with increased miniaturization of sensor and computing devices, such as in camera equipped mobile phones, ...
COMPSYSTECH
2009
14 years 9 months ago
2009
: Recent advances in Information and Communication Technologies (ICT) and more specifically in wireless networks and mobile computing have driven new directions in the development ...
78
Voted
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Even though in recent years research and development of humanoid robots has increased, the major topics of research generally focus on how to make a robot perform specific motions...