2136 search results - page 309 / 428 » A Game-Theoretic Operational Semantics |
219
click to vote
ICAI
2010
15 years 2 months ago
2010
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
164
click to vote
IANDC
2010
15 years 1 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
119
Voted
JMLR
2010
14 years 11 months ago
2010
This paper describes a set of visualization tools which aid the understanding of discussion topics and trends in online discussion forums. The tools integrate into the forum'...
202
click to vote
ICDE
2012
IEEE
13 years 7 months ago
2012
IEEE
—We demonstrate SWITCH, a deep embedding of relational queries into RUBY and RUBY on RAILS. With SWITCH, there is no syntactic or stylistic difference between RUBY programs that ...
254
click to vote
ICDE
2000
IEEE
16 years 6 months ago
2000
IEEE
Decision-support applications in emerging environments require that SQL query results or intermediate results be shipped to clients for further analysis and presentation. These cl...