937 search results - page 75 / 188 » On the Complexity of Partial Order Properties |
169
click to vote
ENTCS
2011
14 years 9 months ago
2011
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
182
click to vote
PARA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. By simulating a real computer it is possible to gain a detailed knowledge of the cache memory utilization of an application, e.g., a partial differential equation (PDE) s...
145
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
A model is a simplified representation of an aspect of the world for a specific purpose. Complex systems typically give rise to more than one model because many aspects are to be h...
165
click to vote
ICC
2007
IEEE
16 years 11 days ago
2007
IEEE
— The idea of the cognitive network, drawn from previous research in cognitive radios and cross-layer design, is an attempt to address issues of complexity and scalability by all...
192
click to vote
ICCV
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper introduces a new method for surface reconstruction from multiple calibrated images. The primary contribution of this work is the notion of local prior to combine the ï¬...