6020 search results - page 850 / 1204 » A New Approach to Model Counting |
160
click to vote
QUATIC
2007
IEEE
16 years 28 days ago
2007
IEEE
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
196
click to vote
ROMAN
2007
IEEE
16 years 28 days ago
2007
IEEE
Robot Programming by Demonstration (RbD) covers methods by which a robot learns new skills through human guidance. In this work, we take the perspective that the role of the tea...
146
click to vote
SEFM
2007
IEEE
16 years 28 days ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
164
Voted
ICIP
2007
IEEE
16 years 27 days ago
2007
IEEE
This paper presents a new method for recovering the shape of hybrid surfaces that have both diffuse reflection and specular reflection using shape from shading (SFS). The image ...
138
click to vote
BPM
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...