5205 search results - page 45 / 1041 » Tilings and model theory |
HICSS
2008
IEEE
14 years 3 months ago
2008
IEEE
Weblogs are becoming increasingly popular and bloggers desire traffic. This study seeks to give an overall view of weblog systems including factors that affect weblog traffic. Key...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Belief propagation methods are the state-of-the-art with multi-sensor state localization problems. However, when localization applications have to deal with multi-modality sensors...
KR
2010
Springer
14 years 1 months ago
2010
Springer
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an ...
SOCIALCOM
2010
13 years 6 months ago
2010
Text data pertaining to socio-technical networks often are analyzed separately from relational data, or are reduced to the fact and strength of the flow of information between node...
MFCS
2007
Springer
14 years 2 months ago
2007
Springer
In formal language theory, many families of languages are defined using grammars or finite acceptors like pushdown automata and Turing machines. For instance, context-sensitive l...