114 search results - page 10 / 23 » Reasoning over Networks by Symbolic Methods |
ASIAMS
2008
IEEE
13 years 8 months ago
2008
IEEE
The paper elaborates upon the interim results achieved in resolving a few newly discovered 16th century letters now alleged to be written by Queen Mary of Scots (QMS). Despite the...
BMCBI
2006
13 years 6 months ago
2006
Background: One-dimensional protein structures such as secondary structures or contact numbers are useful for three-dimensional structure prediction and helpful for intuitive unde...
ICNP
1997
IEEE
13 years 11 months ago
1997
IEEE
Network multimedia applications require certain performance guarantees that can be provided through proper resource allocation. Allocation techniques are needed to provide these g...
TVCG
2008
13 years 6 months ago
2008
We use our hands to manipulate objects in our daily life. The hand is capable of accomplishing diverse tasks such as pointing, gripping, twisting, and tearing. However, there is no...
PERCOM
2007
ACM
14 years 1 months ago
2007
ACM
A substantial amount of research on routing in sensor networks has focused upon methods for constructing the best route, or routes, from data source to sink before sending the dat...