5973 search results - page 980 / 1195 » Fundamental forms of information |
181
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
162
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
A key factor that can dramatically reduce the search space during constraint solving is the criterion under which the variable to be instantiated next is selected. For this purpos...
218
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In a multi-hop mobile ad hoc network (MANET) mobile nodes communicate with each other forming a cooperative radio network. Security remains a major challenge for these networks du...
191
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The semi-automatic or automatic synthesis of robot controller software is both desirable and challenging. Synthesis of rather simple behaviors such as collision avoidance by apply...
154
click to vote
CTW
2010
15 years 6 months ago
2010
This paper introduces a novel design for an automotive full-windshield Head-Up Display (HUD) interface which aims to improve the driver's spatial awareness and response times...