4350 search results - page 406 / 870 » Case studies for contract-based systems |
159
click to vote
ICCV
2005
IEEE
16 years 15 days ago
2005
IEEE
Photometric stereo is a fundamental approach in Computer Vision. At its core lies a set of image irradiance equations each taken with a different illumination. The vast majority o...
167
click to vote
PADL
2004
Springer
16 years 7 days ago
2004
Springer
One of the major problems that actual logic programming systems have to address is whether and how to prune undesirable parts of the search space. A region of the search space woul...
218
click to vote
IEEEICCI
2002
IEEE
15 years 11 months ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
253
click to vote
POLICY
2001
Springer
15 years 11 months ago
2001
Springer
Specifying policies doesn’t occur in splendid isolation but as part of refining an enterprise specification. The roles, the tasks, and the business processes of an ODP community ...
184
click to vote
KI
1992
Springer
15 years 11 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...