Sciweavers

Share
87 search results - page 18 / 18
» On Reachability of Minimal Models of Multilattice-Based Logi...
Sort
View
DLOG
2010
10 years 18 days ago
Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
Jocelyne Faddoul, Volker Haarslev
RSP
2005
IEEE
164views Control Systems» more  RSP 2005»
10 years 8 months ago
High Level Synthesis for Data-Driven Applications
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...
Etienne Bergeron, Xavier Saint-Mleux, Marc Feeley,...
books