4359 search results - page 590 / 872 » Automated Pipeline Design |
200
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
192
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
147
click to vote
3DPVT
2002
IEEE
15 years 11 months ago
2002
IEEE
Three-dimensional modeling from images, when carried out entirely by a human, can be time consuming and impractical for large-scale projects. On the other hand, full automation ma...
178
click to vote
ICCBR
1997
Springer
15 years 10 months ago
1997
Springer
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...
163
click to vote
SOUPS
2010
ACM
15 years 10 months ago
2010
ACM
Users of social networking sites often want to manage the sharing of information and content with different groups of people based on their differing relationships. However, group...