9390 search results - page 1872 / 1878 » 'Interactivity' - Tracking a New Concept |
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
We propose a new way to raise the level of discourse in the programming process: permit ambiguity, but manage it by linking it to unambiguous examples. This allows programming env...
ICDE
2010
IEEE
13 years 5 months ago
2010
IEEE
Linked open data (LOD), as provided by a quickly growing number of sources constitutes a wealth of easily accessible information. However, this data is not easy to understand. It i...
VSTTE
2010
Springer
13 years 5 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
WEBI
2010
Springer
13 years 5 months ago
2010
Springer
High-dimensional data usually incur learning deficiencies and computational difficulties. We present a novel semi-supervised dimensionality reduction technique that embeds high-dim...
ICCS
2009
Springer
13 years 5 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...