3706 search results - page 735 / 742 » OntoComP System Description |
FAST
2009
13 years 7 months ago
2009
Perspective is a storage system designed for the home, with the decentralization and flexibility sought by home users and a new semantic filesystem construct, the view, to simplif...
FQAS
2009
Springer
13 years 7 months ago
2009
Springer
In this paper, an agent is defined as a triple (S, RS, LS), where S is a multi-hierarchical decision system, RS is a set of rules extracted from S defining values of its decision a...
IC3
2009
13 years 7 months ago
2009
A number of algorithms and approaches have been proposed towards the problem of scanning and digitizing research papers. We can classify work done in the past into three major appr...
IJACTAICIT
2010
13 years 7 months ago
2010
As the size of communication networks keeps on growing, faster connections, cooperating technologies and the divergence of equipment and data communications, the management of the...
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...