3690 search results - page 552 / 738 » Computation with classical sequents |
149
click to vote
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
QoS (Quality of Service) parameters play a key role in selecting Grid resources and optimizing resources usage efficiently. Although many works have focused on using QoS metrics,...
180
click to vote
ICMCS
2006
IEEE
2006
IEEE
Human Object Tracking Algorithm with Human Color Structure Descriptor for Video Surveillance Systems
15 years 11 months ago
Segmentation, tracking, and description extraction are important operations in smart camera surveillance systems. In this paper, a robust segmentation-and-descriptor based trackin...
155
click to vote
IJCNN
2006
IEEE
15 years 11 months ago
2006
IEEE
— In-place learning is a biologically inspired concept, meaning that the computational network is responsible for its own learning. With in-place learning, there is no need for a...
157
click to vote
LCN
2006
IEEE
15 years 11 months ago
2006
IEEE
IP Multicast is best known for its bandwidth conservation and lower resource utilization. The classical model of multicast makes it difficult to permit access only to authorized ...
156
click to vote
QEST
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...