5066 search results - page 345 / 1014 » Spectra of structures and relations |
167
Voted
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
Visualization can facilitate the understanding of the structures of a collection of documents that are related to each other by links, such as citations in formal publications. We...
181
Voted
CIE
2010
Springer
15 years 11 months ago
2010
Springer
We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity th...
138
click to vote
ICALP
2010
Springer
15 years 11 months ago
2010
Springer
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...
170
click to vote
ECML
1998
Springer
15 years 11 months ago
1998
Springer
We present compelling evidence that the World Wide Web is a domain in which applications can benefit from using first-order learning methods, since the graph structure inherent in ...
165
click to vote
ACSD
2009
IEEE
15 years 10 months ago
2009
IEEE
A number of algorithms are available for computing the simulation relation on Kripke structures and on labelled transition systems representing concurrent systems. Among them, the...