1364 search results - page 126 / 273 » Comparative Branching-Time Semantics |
117
Voted
DBPL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...
129
Voted
PVM
2007
Springer
15 years 9 months ago
2007
Springer
Open MPI was initially designed to support a wide variety of high-performance networks and network programming interfaces. Recently, Open MPI was enhanced to support networks that ...
118
click to vote
TSD
2007
Springer
15 years 9 months ago
2007
Springer
Roget’s Thesaurus is a lexical resource which groups terms by semantic relatedness. It is Roget’s shortcoming that the relations are ambiguous, in that it does not name them; i...
ICALT
2006
IEEE
15 years 9 months ago
2006
IEEE
Positioning in learning networks is a process that assists learners in finding a starting point and an efficient route in the network that will foster competence building. In orde...
117
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Advancements in sensor technologies have made it easier and increasingly common to capture information using multiple media. This is especially true for personal multimedia inform...