4382 search results - page 628 / 877 » Query by Semantic Example |
156
Voted
APAL
2005
15 years 3 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
155
Voted
FGCS
2002
15 years 3 months ago
2002
Initial versions of MPI were designed to work efficiently on multi-processors which had very little job control and thus static process models. Subsequently forcing them to suppor...
112
Voted
JOLLI
2002
15 years 3 months ago
2002
Abstract. Relational Grammar (RG) was introduced in the 70's as a theory of grammatical relations and relation change, for example, passivization, dative shift, and raising. F...
120
Voted
JUCS
2002
15 years 3 months ago
2002
: Community web sites exhibit the property that multiple content providers exist. Of course, any portal is only as useful as the quality and amount of its content. Developing origi...
170
Voted
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...