1076 search results - page 188 / 216 » Operations on proofs and labels |
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
This paper describes a new architecture which addresses Quality of Service (QoS) by creating unique flows for applications, services, or subnets. A flow is a dedicated and indep...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— After identifying that current GMPLS specifications only allow for the implementation of a call blocking mode of operation that handles immediate-request calls (not book-ahead...
VRST
2006
ACM
14 years 1 months ago
2006
ACM
Some tasks vital to many mixed and augmented reality systems are either too time consuming or complex to be carried out whilst the system is active. 3D scene modelling and labelli...
KDD
2005
ACM
14 years 1 months ago
2005
ACM
This paper describes a successful but challenging application of data mining in the railway industry. The objective is to optimize maintenance and operation of trains through prog...
ACL
1994
13 years 9 months ago
1994
We describe an implementation in Carpenter's typed feature formalism, ALE, of a discourse grammar of the kind proposed by Scha, Polanyi, et al. We examine their method for re...