1071 search results - page 58 / 215 » Theories of Automatic Structures and Their Complexity |
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
Community detection is an important task for mining the structure and function of complex networks. Generally, there are several different kinds of nodes in a network which are c...
FOIS
2008
13 years 9 months ago
2008
: An ontology of general science knowledge (SKIo) is developed to enhance machine representation and use of scientific theories in emerging e-Science Knowledge Infrastructures. SKI...
ATVA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
CIE
2007
Springer
14 years 2 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper proposes error resilient video transcoding structures based on the multiple description (MD) scheme. Two structures are proposed for different use, namely low complexit...