2226 search results - page 277 / 446 » Pdk: The System and Its Language |
157
click to vote
ER
2007
Springer
16 years 24 days ago
2007
Springer
Today, there are several approaches supporting an integrated processing of XML and (object-)relational data sources. However, each of these approaches favors a single data model f...
152
click to vote
MTSR
2007
Springer
16 years 23 days ago
2007
Springer
This paper describes the Markup Analysis Project, a research initiative of the Information Policy and Practice Research Group at the University of Sydney to investigate frameworks ...
178
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
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 ...
199
click to vote
ATAL
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...