2944 search results - page 274 / 589 » On Well Quasi-orders on Languages |
140
click to vote
PLDI
2005
ACM
16 years 6 days ago
2005
ACM
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus ...
149
click to vote
ATAL
2005
Springer
16 years 5 days ago
2005
Springer
We add assignment operators to languages for epistemic actions, so that change of knowledge and change of facts can be combined in specifications of multi-agent system dynamics. ...
187
click to vote
GPCE
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. SafeGen is a meta-programming language for writing statically safe generators of Java programs. If a program generator written in SafeGen passes the checks of the SafeGen...
152
click to vote
ICISS
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Trust can be used to measure our confidence that a secure system behaves as expected. We had previously proposed a vector model of trust [1]. In this work we address the...
165
click to vote
LPNMR
2005
Springer
16 years 4 days ago
2005
Springer
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...