1699 search results - page 287 / 340 » On the Expressive Power of QLTL |
109
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we study the spectrum of certain large random Hermitian Jacobi matrices. These matrices are known to describe certain communication setups. In particular we are inte...
160
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
140
click to vote
AI
2006
Springer
15 years 6 months ago
2006
Springer
Over the past few years there has been considerable progress in methods to systematically analyse the complexity of constraint satisfaction problems with specified constraint type...
158
click to vote
ANOR
2006
15 years 6 months ago
2006
Electron Microscopy is a valuable tool for the elucidation of the three-dimensional structure of macromolecular complexes. Knowledge about the macromolecular structure provides imp...
151
click to vote
AR
2006
15 years 6 months ago
2006
The development and expression of many higher level cognitive functions, such as imitation, spatial perception, and tool-use relies on a multi-modal representation of the body kno...