4617 search results - page 229 / 924 » Automation of Diagrammatic Reasoning |
147
click to vote
LACL
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we consider some of the problems that arise if automated reasoning methods are applied to natural language semantics. It turns that out that the problem of ambiguity...
189
click to vote
SOFTVIS
2003
ACM
15 years 11 months ago
2003
ACM
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
179
click to vote
UML
1999
Springer
15 years 10 months ago
1999
Springer
UML has established itself as the leading OO analysis and design methodology. Recently, it has also been increasingly used as a foundation for representing numerous (diagrammatic) ...
166
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We implement an algorithm for extracting appropriate collections of classic-like sound and complete tableaux rules for a large class of finite-valued logics. Its output c...
146
click to vote
ISPD
2009
ACM
16 years 1 months ago
2009
ACM
The design of analog circuits has historically been a time consuming, manual task. The stringent constraints that must be considered simultaneously make the task particularly diff...