3174 search results - page 176 / 635 » An Exploration of the Permanent-Determinant Method |
183
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...
150
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
Abstract -- Shortest path routing protocols may suffer from congestion due to the use of a single shortest path between a source and a destination. The goal of our work is to first...
159
click to vote
ISCAS
2003
IEEE
15 years 12 months ago
2003
IEEE
Ordered Binary Decision Diagrams (BDDs) are frequently used in logic synthesis. In this paper a new exact BDD minimization algorithm is presented, which is based on state space se...
173
click to vote
LAWEB
2003
IEEE
15 years 12 months ago
2003
IEEE
Search engines provide search results based on a large repository of pages downloaded by a web crawler from several servers. To provide best results, this repository must be kept ...
188
click to vote
PERCOM
2003
ACM
15 years 12 months ago
2003
ACM
Seeking to extend the functional capability of the elderly, we explore the use of probabilistic methods to learn and recognise human activity in order to provide monitoring suppor...