9405 search results - page 1255 / 1881 » Computing a Model of Set Theory |
198
click to vote
EICS
2010
ACM
16 years 15 hour ago
2010
ACM
We have developed GrafiXML, an original user interface builder in that it enables designers and developers to design several UIs simultaneously for multiple contexts of use, i.e. ...
232
click to vote
ESEC
1995
Springer
15 years 10 months ago
1995
Springer
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
200
click to vote
AIPS
2008
15 years 9 months ago
2008
The POMDP is considered as a powerful model for planning under uncertainty. However, it is usually impractical to employ a POMDP with exact parameters to model precisely the real-...
219
click to vote
AMAST
2008
Springer
15 years 9 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
169
click to vote
COMMA
2008
15 years 8 months ago
2008
Abstract. The identification of consistent sets of arguments is one of the most important concerns in the development of computational models of argument. Such extensions drive the...