4209 search results - page 341 / 842 » Abstract Dialectical Frameworks |
145
click to vote
SARA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present The Cruncher, a simple representation framework and algorithm based on minimum description length for automatically forming an ontology of concepts from attrib...
186
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
178
click to vote
ASIACRYPT
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present new results in the framework of secure multiparty computation based on homomorphic threshold cryptosystems. We introduce the conditional gate as a special type...
164
click to vote
CD
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Plugins are optional components which can be used to enable the dynamic construction of flexible and complex systems, passing as much of the configuration management ef...
177
click to vote
ER
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Web services are deemed as the natural choice for deploying e-government applications. Their use enables e-government to fully get advantage of the envisioned Semantic We...