7758 search results - page 21 / 1552 » On the Number of Distributive Lattices |
161
click to vote
DLOG
2009
15 years 3 months ago
2009
We study the problem of reasoning over weighted ontologies. We assume that every axiom is labeled with an element of a distributive lattice (called its weight) and try to compute i...
155
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
We introduce VLADYMIR, a matrix library that permits the development of array-based code in C++. It is especially useful for numerical simulation tasks and parallelises automatical...
185
click to vote
DAM
2011
15 years 1 months ago
2011
An edge-labeling λ for a directed graph G has a weak sense of direction (WSD) if there is a function f that satisfies the condition that for any node u and for any two label seq...
197
click to vote
TCS
2010
15 years 4 months ago
2010
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multip...
164
click to vote
SERVICES
2008
15 years 7 months ago
2008
Distributed stream query services must simultaneously process a large number of complex, continuous queries with stringent performance requirements while utilizing distributed pro...