305 search results - page 55 / 61 » Estimating the Numbers of End Users and End User Programmers |
KBSE
1998
IEEE
15 years 3 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
126
click to vote
MEDES
2010
ACM
14 years 6 months ago
2010
ACM
This work presents a case of an innovative Brazilian experience of use of free software in public administration as an emergent ecosystem, and the attempt to establish a quality f...
100
click to vote
CCGRID
2010
IEEE
14 years 9 months ago
2010
IEEE
Due to the strong increase of processing units available to the end user, expressing parallelism of an algorithm is a major challenge for many researchers. Parallel applications ar...
73
Voted
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
— Despite the enormous complexity of the human mind, fMRI techniques are able to partially observe the state of a brain in action. In this paper we describe an experimental setup...
133
click to vote
CVPR
2010
IEEE
14 years 12 months ago
2010
IEEE
This paper proposes a probabilistic graphical model for the problem of propagating labels in video sequences, also termed the label propagation problem. Given a limited amount of ...