3645 search results - page 631 / 729 » Implementing mapping composition |
137
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Multiagent environments are often highly dynamic and only partially observable which makes deliberative action planning computationally hard. In many such environments, however, a...
128
click to vote
BPM
2008
Springer
15 years 4 months ago
2008
Springer
Complex and flexible business processes are critical not only because they are difficult to handle, but also because they often tend to loose their intelligibility. Verifying compl...
103
click to vote
AIIA
2007
Springer
15 years 4 months ago
2007
Springer
Few works are available in the literature to define similarity criteria between First-Order Logic formulæ, where the presence of relations causes various portions of one descript...
127
click to vote
BVAI
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents the implementation of ARQ-PROP II, a limited-depth propositional reasoner, via the compilation of its specification into an exact formulation using the satyrus...
132
click to vote
CISS
2007
IEEE
15 years 4 months ago
2007
IEEE
— Flexible distribution of data in the form of quantum bits (qubits) amongst spatially separated entities is an essential component of envisioned scalable quantum computing archi...