686 search results - page 78 / 138 » Foundations for Bidirectional Programming |
123
click to vote
ICDAR
2005
IEEE
15 years 3 months ago
2005
IEEE
Handwritten text lines are prominent structures in freeform digital ink notes and their reliable detection is the foundation to a natural and intelligent interface for note editin...
CSL
2005
Springer
15 years 3 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
RULEML
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...
UM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This research proposes an adaptive mechanism of information visualizing that responds to context changes in knowledge-intensive work. A framework of Context-Sensitive Vis...
PERVASIVE
2004
Springer
15 years 3 months ago
2004
Springer
Based on an extensive field study of current firefighting practices, we have developed a system called Siren to support tacit communication between firefighters with multiple level...