4961 search results - page 451 / 993 » Homomorphism-Homogeneous Relational Structures |
162
click to vote
ICALP
2004
Springer
16 years 6 days ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
181
click to vote
KR
2004
Springer
16 years 5 days ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
154
click to vote
PVM
2004
Springer
16 years 5 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
154
click to vote
SFM
2004
Springer
16 years 5 days ago
2004
Springer
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
167
click to vote
SSPR
2004
Springer
16 years 5 days ago
2004
Springer
Kernel Methods are a class of algorithms for pattern analysis with a number of convenient features. They can deal in a uniform way with a multitude of data types and can be used to...