5409 search results - page 645 / 1082 » Basic Observables for Processes |
163
Voted
HT
2009
ACM
16 years 1 months ago
2009
ACM
Data created by social bookmarking systems can be described as 3-partite 3-uniform hypergraphs connecting documents, users, and tags (tagging networks), such that the toolbox of c...
181
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
188
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
An experimental study shows the feasibility of service-oriented architectures for industrial automation and control systems even with respect to lower, real-time dependent control...
171
click to vote
BIBM
2008
IEEE
16 years 1 months ago
2008
IEEE
Alternative splicing is a mechanism for generating different gene transcripts (called isoforms) from the same genomic sequence. Finding alternative splicing events experimentally ...
168
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
The organizing pattern of interaction moves from less to more understanding about the relationships that exist between concepts. The current view of organizing activities is prima...