Outputs (3144)

Distributed admission control for anycast flows (2004)
Journal Article
Jia, W., Xuan, D., Tu, W., Lin, L., & Zhao, W. (2004). Distributed admission control for anycast flows. IEEE Transactions on Parallel and Distributed Systems, 15(8), 673-686. https://doi.org/10.1109/TPDS.2004.34

Anycasting has recently become an important research topic, especially for replicated servers. With anycasting, applications can request the "nearest" server for provision of desired (multimedia) service. In this paper, we study efficient Distributed... Read More about Distributed admission control for anycast flows.

State-space reduction techniques in agent verification (2004)
Presentation / Conference Contribution
Bordini, R. H., Fisher, M., Visser, W., Wooldridge, M., Jennings, N. R., Sierra, C., Sonenberg, L., & Tambe, M. (2004, July). State-space reduction techniques in agent verification. Presented at Third International Joint Conference on Autonomous Agents and Multiagent Systems : AAMAS-2004., New York

We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The success of model checking as a verification technique for large systems... Read More about State-space reduction techniques in agent verification.

A maximal tractable class of soft constraints (2004)
Journal Article
Cohen, D., Cooper, M., Jeavons, P., & Krokhin, A. (2004). A maximal tractable class of soft constraints. Journal of Artificial Intelligence Research, 22, 1-22. https://doi.org/10.1613/jair.1400

Many researchers in artificial intelligence are beginning to explore the use of soft constraints to express a set of (possibly conflicting) problem requirements. A soft constraint is a function defined on a collection of variables which associates so... Read More about A maximal tractable class of soft constraints.

Amalgamations of factorizations of complete equipartite graphs, (2004)
Journal Article
Hilton, A., & Johnson, M. (2004). Amalgamations of factorizations of complete equipartite graphs,. Discrete Mathematics, 284(1-3), 157-175. https://doi.org/10.1016/j.disc.2003.11.030

Let t be a positive integer, and let L=(l1,…,lt) and K=(k1,…,kt) be collections of nonnegative integers. A graph has a (t,K,L) factorization if it can be represented as the edge-disjoint union of factors F1,…,Ft where, for 1it, Fi is ki-regular and a... Read More about Amalgamations of factorizations of complete equipartite graphs,.

Evolutions of Polygons in the Study of Subdivision Surfaces (2004)
Journal Article
Ivrissimtzis, I., & Seidel, H. (2004). Evolutions of Polygons in the Study of Subdivision Surfaces. Computing, 72(1-2), 93-103. https://doi.org/10.1007/s00607-003-0049-8

We employ the theory of evolving n-gons in the study of subdivision surfaces. We show that for subdivision schemes with small stencils the eige¬nanalysis of an evolving polygon, corresponding either to a face or to the 1-¬ring neighborhood of a verte... Read More about Evolutions of Polygons in the Study of Subdivision Surfaces.

Fast, large and controllable phase modulation using dual frequency liquid crystals (2004)
Journal Article
Kirby, A., & Love, G. (2004). Fast, large and controllable phase modulation using dual frequency liquid crystals. Optics Express, 12(7), 1470-1475. https://doi.org/10.1364/opex.12.001470

We report on a method for high speed, large stroke phase modulation using dual frequency control of liquid crystals. Our system uses an all-electronic feedback system in order to simplify the control. We show half wave phase modulations of ~120Hz wit... Read More about Fast, large and controllable phase modulation using dual frequency liquid crystals.

Dichotomies for classes of homomorphism problems involving unary functions (2004)
Journal Article
Feder, T., Madelaine, F., & Stewart, I. (2004). Dichotomies for classes of homomorphism problems involving unary functions. Theoretical Computer Science, 314(1-2), 1-43. https://doi.org/10.1016/j.tcs.2003.12.015

We study non-uniform constraint satisfaction problems where the underlying signature contains constant and function symbols as well as relation symbols. Amongst our results are the following. We establish a dichotomy result for the class of non-unifo... Read More about Dichotomies for classes of homomorphism problems involving unary functions.

Understanding service-oriented software (2004)
Journal Article
Gold, N., Knight, C., Mohan, A., & Munro, M. (2004). Understanding service-oriented software. IEEE Software, 21(2), 71-77. https://doi.org/10.1109/ms.2004.1270766

Service-oriented software is being hailed as the next revolutionary approach to software development. Service orientation allows organizations to rapidly and dynamically form new software applications to meet changing business needs, thus alleviating... Read More about Understanding service-oriented software.

Characterization of graphs with Hall number 2 (2004)
Journal Article
Eslachi, C., & Johnson, M. (2004). Characterization of graphs with Hall number 2. Journal of Graph Theory, 45(2), 81-100. https://doi.org/10.1002/jgt.10154

Hall's condition is a simple requirement that a graph G and list assignment L must satisfy if G is to have a proper L-colouring. The Hall number of G is the smallest integer m such that whenever the lists on the vertices each has size at least m and... Read More about Characterization of graphs with Hall number 2.

A sensitive optical polarimetric imaging technique for surface defects detection of aircraft turbine engines (2004)
Journal Article
Giakos, G., Fraiwan, L., Patnekar, N., Sumrain, S., Mertzios, G., & Periyathamby, S. (2004). A sensitive optical polarimetric imaging technique for surface defects detection of aircraft turbine engines. IEEE Transactions on Instrumentation and Measurement, 53(1), 216-222. https://doi.org/10.1109/tim.2003.821497

The design of an optical polarimetric imaging system, aimed to detect cracks or structural defects on the surface of rotating aircraft engine shafts, is presented: The experimental results, clearly indicate that high. signal-to-noise ratio signals ca... Read More about A sensitive optical polarimetric imaging technique for surface defects detection of aircraft turbine engines.