2154 search results - page 91 / 431 » On the notion of concept I |
86
Voted
CSL
2002
Springer
15 years 20 days ago
2002
Springer
A propositional proof system is automatizable if there is an algorithm that, given a tautology, produces a proof in time polynomial in the size of its smallest proof. This notion ...
99
Voted
APAL
1998
15 years 16 days ago
1998
A recursive graph is a graph whose vertex and edges sets are recursive. A highly recursive graph is a recursive graph that also has the following property: one can recursively det...
88
Voted
AML
2007
15 years 29 days ago
2007
We study the notion of weak dividing introduced by S. Shelah. In particular we prove that T is stable iff weak dividing is symmetric. In order to study simple theories Shelah orig...
95
Voted
I3E
2001
15 years 2 months ago
2001
: Addressing new public challenges such as the one-stop government and improved service quality, we introduce serviceflow management as a generic concept to coordinate cross-organi...
119
Voted
KDD
2008
ACM
16 years 1 months ago
2008
ACM
Social networks are of interest to researchers in part because they are thought to mediate the flow of information in communities and organizations. Here we study the temporal dyn...