8828 search results - page 1504 / 1766 » Formal methods in practice |
195
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
: The World Wide Web’s anticipated scope as an environment for knowledge exchange has changed dramatically. Without major modifications to its primary mechanisms the Web has turn...
176
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
193
click to vote
CIAC
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Byte pair encoding (BPE) is a simple universal text compression scheme. Decompression is very fast and requires small work space. Moreover, it is easy to decompress an ar...
166
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Among backtracking based algorithms for constraint satisfaction problems (CSPs), algorithms employing constraint propagation, like forward checking (FC) and MAC, have had...
279
click to vote
DASFAA
2010
IEEE
15 years 11 months ago
2010
IEEE
Efficient management of RDF data is an important factor in realizing the Semantic Web vision. The existing approaches store RDF data based on triples instead of a relation model. I...