4573 search results - page 650 / 915 » Automated Reasoning |
135
click to vote
IS
2006
15 years 4 months ago
2006
The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept ...
155
click to vote
CLIMA
2009
15 years 1 months ago
2009
Abstract. No intelligent decision support system functions even remotely without knowing the preferences of the user. A major problem is that the way average users think about and ...
132
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
133
click to vote
FM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
125
click to vote
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...