4008 search results - page 691 / 802 » An expressive language of signatures |
164
click to vote
HPCC
2007
Springer
16 years 15 days ago
2007
Springer
Computing ”in-place and in-order”FFT poses a very difficult problem on hierarchical memory architectures where data movement can seriously degrade the performance. In this pape...
159
click to vote
ICDT
2007
ACM
16 years 15 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
158
click to vote
IFL
2007
Springer
16 years 15 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
190
click to vote
KI
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
173
click to vote
LADS
2007
Springer
16 years 14 days ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...