1301 search results - page 5 / 261 » Specifications via Realizability |
CONTEXT
2005
Springer
14 years 1 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...
FUIN
2008
13 years 7 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...
CHI
2009
ACM
13 years 11 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
13 years 5 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 ...
IFIP
2004
Springer
14 years 25 days 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...