3634 search results - page 516 / 727 » The Field Representation Language |
148
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Refutation proofs can be viewed as a special case of constraint propagation, which is a fundamental technique in solving constraint-satisfaction problems. The generalizat...
150
click to vote
MMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. As the scale and scope of multi-agent systems grow, it becomes increasingly important to design and manage the manner in which the participants interact. The potential fo...
167
click to vote
SAS
2004
Springer
15 years 11 months ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
162
click to vote
AWIC
2003
Springer
15 years 11 months ago
2003
Springer
The Internet makes it possible to share and manipulate a vast quantity of information efficiently and effectively, but the rapid and chaotic growth experienced by the Net has gener...
184
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
XML is a widespread W3C standard used by several kinds of applications for data representation and exchange over the web. In the context of a system that provides semantic integrat...