3515 search results - page 561 / 703 » On the semantics of Strategy Logic |
193
click to vote
CORR
2004
Springer
15 years 7 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
220
click to vote
LOGCOM
2010
15 years 5 months ago
2010
The aim of this paper is double. From one side we survey the knowledge we have acquired these last ten years about the lattice of all λ-theories (= equational extensions of untype...
306
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
The application of frequent patterns in classification appeared in sporadic studies and achieved initial success in the classification of relational data, text documents and graph...
316
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
194
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Data-driven Spoken Language Understanding (SLU) systems need semantically annotated data which are expensive, time consuming and prone to human errors. Active learning has been su...