4890 search results - page 902 / 978 » From system specifications to component behavioral models |
BMCBI
2006
13 years 9 months ago
2006
Background: The rapid growth of protein interactome data has elevated the necessity and importance of network analysis tools. However, unlike pure text data, network search spaces...
MM
2010
ACM
13 years 9 months ago
2010
ACM
Quality control and resource optimization are challenging problems in peer-assisted video streaming systems, due to their large scales and unreliable peer behavior. Such systems a...
ICS
2010
Tsinghua U.
14 years 6 months ago
2010
Tsinghua U.
Computation in the physical world is restricted by the following spatial locality constraint: In a single unit of time, information can only travel a bounded distance in space. A ...
DBPL
1993
Springer
14 years 1 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
Our ability to express and accurately assess emotional states is central to human life. The present study examines how people express and detect emotions during text-based communi...