316 search results - page 48 / 64 » Extraction of Logical Structure from Articles in Mathematics |
86
Voted
ACMSE
2006
ACM
15 years 5 months ago
2006
ACM
We propose an efficient and novel approach for discovering communities in real-world random networks. Communities are formed by subsets of nodes in a graph, which are closely rela...
130
click to vote
CCA
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...
174
click to vote
POPL
2006
ACM
15 years 12 months ago
2006
ACM
This article presents a polymorphic modal type system and its principal type inference algorithm that conservatively extend ML by all of Lisp's staging constructs (the quasi-...
FUIN
2006
14 years 11 months ago
2006
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
116
click to vote
SCP
2010
14 years 6 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...