2977 search results - page 331 / 596 » Programming Environments for Novices |
109
Voted
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
141
Voted
ACAL
2009
Springer
15 years 9 months ago
2009
Springer
The Information Fusion Panel within The Technical Cooperation Program (TTCP) is developing algorithms to perform machine-based situation assessment to assist human operators in co...
172
Voted
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Model evolution is often supported by writing model transformation rules in specialized languages. This presents challenges to those who are unfamiliar with model transformation l...
103
Voted
ICASSP
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we develop an improved approach to the worstcase robust adaptive beamforming for general-rank signal models by means of taking into account the positive semi-defin...
117
click to vote
ISMAR
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper introduces ComposAR, a tool to allow a wide audience to author AR and MR applications. It is unique in that it supports both visual programming and interpretive scripti...