Sciweavers

2962 search results - page 471 / 593
» Reasoning on Association Rules
Sort
View
INFOCOM
2009
IEEE
16 years 1 months ago
Effective Delay Control in Online Network Coding
—Motivated by streaming applications with stringent delay constraints, we consider the design of online network coding algorithms with timely delivery guarantees. Assuming that t...
João Barros, Rui A. Costa, Daniele Munarett...
IV
2009
IEEE
222views Visualization» more  IV 2009»
16 years 1 months ago
User-Friendly Ontology Editing and Visualization Tools: The OWLeasyViz Approach
This paper aims to propose solutions to the issue of ontology visualization, by presenting intuitive and userfriendly ontology editing and visualization environments mainly orient...
Nadia Catenazzi, Lorenzo Sommaruga, Riccardo Mazza
TPHOL
2009
IEEE
16 years 1 months ago
The HOL-Omega Logic
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
Peter V. Homeier
BPM
2009
Springer
143views Business» more  BPM 2009»
16 years 1 months ago
Integrating Users in Object-Aware Process Management Systems: Issues and Challenges
Despite the increasing maturity of contemporary Workflow Management Systems (WfMS), there still exist numerous process-aware application systems with more or less hard-coded proce...
Vera Künzle, Manfred Reichert
WEBDB
2009
Springer
100views Database» more  WEBDB 2009»
16 years 1 months ago
Towards Well-Behaved Schema Evolution
We study the problem of schema evolution in the RDF data model. RDF and the RDFS schema language are W3C standards for flexibly modeling and sharing data on the web. Although sch...
Rada Chirkova, George H. L. Fletcher