9370 search results - page 208 / 1874 » An Abstract Notion of Application |
193
click to vote
DLOG
2011
14 years 10 months ago
2011
Abstract. In this paper, we introduce a paraconsistent extension of Rough Description Logics which allows the representation of incomplete and contradictory concepts, as well as th...
210
click to vote
CASC
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We study continuous dynamical systems defined by autonomous ordinary differential equations, themselves given by parametric rational functions. For such systems, we pro...
168
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
In trust negotiation and other distributed proving systems, networked entities cooperate to form proofs that are justified by collections of certified attributes. These attributes...
149
click to vote
IANDC
2008
15 years 6 months ago
2008
We introduce two resource-bounded Baire category notions on small complexity classes such as P, QUASIPOLY, SUBEXP and PSPACE and on probabilistic classes such as BPP, which differ...
160
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In systems based on organisational specifications a reoccurring problem remains to be solved in the disparity between the level actness of the organisational concepts an...