4978 search results - page 191 / 996 » Logical models of argument |
119
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...
116
click to vote
ECIS
2004
15 years 5 months ago
2004
The adoption and implementation of interorganizational information systems (IOS) heavily depend upon the trading partner(s) of the focal organization. Power structures have been s...
113
click to vote
WSC
2000
15 years 5 months ago
2000
Responses to the featured paper are provided by four authors who represent different elements of the simulation research community: industry, private research laboratory, and univ...
118
click to vote
IJON
2002
15 years 4 months ago
2002
We describe a software-engineering strategy called the `View-Primitive Data Model framework' (or `VPDMf') derived from the design of leading commercial software engineer...
138
click to vote
ACL
2012
13 years 6 months ago
2012
We present a novel approach for building verb subcategorization lexicons using a simple graphical model. In contrast to previous methods, we show how the model can be trained with...