6978 search results - page 1298 / 1396 » On Proofs in System P |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The Call admission control (CAC) is one of the Radio Resource Management (RRM) techniques that plays influential role in ensuring the desired Quality of Service (QoS) to the users...
ANCS
2010
ACM
13 years 7 months ago
2010
ACM
The Internet is witnessing explosive growth in traffic due to bulk content transfers, such as multimedia and software downloads, and online sharing of personal, commercial, and sc...
DATE
2010
IEEE
13 years 7 months ago
2010
IEEE
The H.264/AVC video encoder standard significantly improves the compression efficiency by using variable block-sized Inter (P) and Intra (I) Macroblock (MB) coding modes. In this p...
ICEIS
2010
IEEE
13 years 7 months ago
2010
IEEE
Regularities in the world are human defined. Patterns in the observed phenomena are there because we define and recognize them as such. Automatic pattern recognition tries to bridg...
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
In the Taverna workflow design and enactment tool, users often find it difficult to both manually discover a service or workflow fragment that executes a desired operation on a pie...