Browsing by Subject "Constraint theory"

Now showing items 1-20 of 30

    • Article  

      ACLP: Abductive Constraint Logic Programming 

      Kakas, Antonis C.; Michael, Antonia; Mourlas, Constantinos (2000)
      This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and ...
    • Article  

      Asynchronous timed multimedia environments based on the coordination paradigm 

      Papadopoulos, George Angelos (2003)
      This paper combines work done in the areas of Artificial Intelligence, Multimedia Systems and Coordination Programming to derive a framework for Distributed Multimedia Systems based on asynchronous timed computations ...
    • Conference Object  

      Control of tele-operation systems subject to capacity limited channels and uncertainty 

      Farhadi, A.; Charalambous, Charalambos D. (2007)
      This paper is concerned with asymptotic observability and stabilizability of dynamical systems over communication channels subject to limited transmission capacity constraint and uncertainty. In particular, the following ...
    • Article  

      Cross-section-constrained top-quark mass measurement from dilepton events at the tevatron 

      Aaltonen, T.; Adelman, J.; Akimoto, T.; Albrow, M. G.; Ãlvarez Gonzãlez, B.; Amerio, S.; Amidei, D.; Anastassov, A.; Annovi, A.; Antos, J.; Aoki, M.; Apollinari, G.; Apresyan, A.; Arisawa, T.; Artikov, A.; Ashmanskas, W.; Attal, A.; Aurisano, A.; Azfar, F.; Azzi-Bacchetta, P.; Azzurri, P.; Bacchetta, N.; Badgett, W.; Barbaro-Galtieri, A.; Barnes, V. E.; Barnett, B. A.; Baroiant, S.; Bartsch, V.; Bauer, G.; Beauchemin, P. -H; Bedeschi, F.; Bednar, P.; Behari, S.; Bellettini, G.; Bellinger, J.; Belloni, A.; Benjamin, D.; Beretvas, Andrew; Beringer, J.; Berry, T.; Bhatti, A.; Binkley, M.; Bisello, D.; Bizjak, I.; Blair, R. E.; Blocker, C.; Blumenfeld, B.; Bocci, A.; Bodek, A.; Boisvert, V.; Bolla, G.; Bolshov, A.; Bortoletto, D.; Boudreau, J.; Boveia, A.; Brau, B.; Bridgeman, A.; Brigliadori, L.; Bromberg, C.; Brubaker, E.; Budagov, J.; Budd, H. S.; Budd, S.; Burkett, K.; Busetto, G.; Bussey, P.; Buzatu, A.; Byrum, K. L.; Cabrera, S.; Campanelli, M.; Campbell, M.; Canelli, Florencia M.; Canepa, A.; Carlsmith, D.; Carosi, R.; Carrillo, S.; Carron, S.; Casal, B.; Casarsa, M.; Castro, A.; Catastini, P.; Cauz, D.; Cavalli-Sforza, M.; Cerri, A.; Cerrito, L.; Chang, S. H.; Chen, Y. C.; Chertok, M.; Chiarelli, G.; Chlachidze, G.; Chlebana, F.; Cho, K.; Chokheli, D.; Chou, J. P.; Choudalakis, G.; Chuang, S. H.; Chung, K.; Chung, W. H.; Chung, Y. S.; Ciobanu, C. I.; Ciocci, M. A.; Clark, A.; Clark, D.; Compostella, G.; Convery, M. E.; Conway, J.; Cooper, B.; Copic, K.; Cordelli, M.; Cortiana, G.; Crescioli, F.; Cuenca Almenar, C.; Cuevas, J.; Culbertson, R.; Cully, J. C.; Dagenhart, D.; Datta, M.; Davies, T.; De Barbaro, P.; Dececco, S.; Deisher, A.; De Lentdecker, Gilles; De Lorenzo, G.; Dell'Orso, M.; Demortier, L.; Deng, J.; Deninno, M.; De Pedis, D.; Derwent, P. F.; Di Giovanni, G. P.; Dionisi, Carlo; Di Ruzza, B.; Dittmann, J. R.; D'Onofrio, M.; Donati, S.; Dong, P.; Donini, J.; Dorigo, T.; Dube, S.; Efron, J.; Erbacher, R.; Errede, D.; Errede, S.; Eusebi, R.; Fang, H. C.; Farrington, S.; Fedorko, W. T.; Feild, R. G.; Feindt, M.; Fernandez, J. P.; Ferrazza, C.; Field, R.; Flanagan, G.; Forrest, R.; Forrester, S.; Franklin, M.; Freeman, J. C.; Furic, I.; Gallinaro, M.; Galyardt, J.; Garberson, F.; Garcia, J. E.; Garfinkel, A. F.; Gerberich, H.; Gerdes, D.; Giagu, S.; Giakoumopolou, V.; Giannetti, P.; Gibson, K.; Gimmell, J. L.; Ginsburg, C. M.; Giokaris, N.; Giordani, M.; Giromini, P.; Giunta, M.; Glagolev, V.; Glenzinski, D.; Gold, M.; Goldschmidt, N.; Golossanov, A.; Gomez, G.; Gomez-Ceballos, G.; Goncharov, M.; González, O.; Gorelov, I.; Goshaw, A. T.; Goulianos, Konstantin; Gresele, A.; Grinstein, S.; Grosso-Pilcher, C.; Group, R. C.; Grundler, U.; Guimaraes Da Costa, J.; Gunay-Unalan, Z.; Haber, C.; Hahn, K.; Hahn, S. R.; Halkiadakis, Eva; Hamilton, A.; Han, B. -Y; Han, J. Y.; Handler, R.; Happacher, F.; Hara, K.; Hare, D.; Hare, M.; Harper, S.; Harr, R. F.; Harris, R. M.; Hartz, M.; Hatakeyama, K.; Hauser, J.; Hays, C.; Heck, M.; Heijboer, A.; Heinemann, B.; Heinrich, J.; Henderson, C.; Herndon, M.; Heuser, J.; Hewamanage, S.; Hidas, D.; Hill, C. S.; Hirschbuehl, D.; Hocker, A.; Hou, S.; Houlden, M.; Hsu, S. -C; Huffman, B. T.; Hughes, R. E.; Husemann, U.; Huston, J.; Incandela, J.; Introzzi, G.; Iori, M.; Ivanov, A.; Iyutin, B.; James, E.; Jayatilaka, B.; Jeans, D.; Jeon, E. J.; Jindariani, S.; Johnson, W.; Jones, M.; Joo, K. K.; Jun, S. Y.; Jung, J. E.; Junk, T. R.; Kamon, T.; Kar, D.; Karchin, P. E.; Kato, Y.; Kephart, R.; Kerzel, U.; Khotilovich, V.; Kilminster, B.; Kim, D. H.; Kim, H. S.; Kim, J. E.; Kim, M. J.; Kim, S. B.; Kim, S. H.; Kim, Y. K.; Kimura, N.; Kirsch, L.; Klimenko, S.; Klute, M.; Knuteson, B.; Ko, B. R.; Koay, S. A.; Kondo, K.; Kong, D. J.; Konigsberg, J.; Korytov, A.; Kotwal, A. V.; Kraus, J.; Kreps, M.; Kroll, J.; Krumnack, N.; Kruse, M.; Krutelyov, V.; Kubo, T.; Kuhlmann, S. E.; Kuhr, T.; Kulkarni, N. P.; Kusakabe, Y.; Kwang, S.; Laasanen, A. T.; Lai, S.; Lami, S.; Lammel, S.; Lancaster, M.; Lander, R. L.; Lannon, K.; Lath, A.; Latino, G.; Lazzizzera, I.; Lecompte, T.; Lee, J.; Lee, J.; Lee, Y. J.; Lee, S. W.; Lefèvre, R.; Leonardo, N.; Leone, S.; Levy, S.; Lewis, J. D.; Lin, C.; Lin, C. S.; Linacre, J.; Lindgren, M.; Lipeles, E.; Lister, A.; Litvintsev, D. O.; Liu, T.; Lockyer, N. S.; Loginov, A.; Loreti, M.; Lovas, L.; Lu, R. -S; Lucchesi, D.; Lueck, J.; Luci, C.; Lujan, P.; Lukens, P.; Lungu, G.; Lyons, L.; Lys, J.; Lysak, R.; Lytken, E.; MacK, P.; MacQueen, D.; Madrak, R.; Maeshima, K.; Makhoul, K.; Maki, T.; Maksimovic, P.; Malde, S.; Malik, S.; Manca, G.; Manousakis, A.; Margaroli, F.; Marino, C.; Marino, C. P.; Martin, A.; Martin, M.; Martin, V.; Martínez, M.; Martínez-Ballarín, R.; Maruyama, T.; Mastrandrea, P.; Masubuchi, T.; Mattson, M. E.; Mazzanti, P.; McFarland, K. S.; McIntyre, P.; McNulty, R.; Mehta, A.; Mehtala, P.; Menzemer, S.; Menzione, A.; Merkel, P.; Mesropian, C.; Messina, A.; Miao, T.; Miladinovic, N.; Miles, J.; Miller, R.; Mills, C.; Milnik, M.; Mitra, A.; Mitselmakher, G.; Miyake, H.; Moed, S.; Moggi, N.; Moon, C. S.; Moore, R.; Morello, M.; Movilla Fernández, Pedro A.; Mülmenstädt, J.; Mukherjee, A.; Muller, T.; Mumford, R.; Murat, P.; Mussini, M.; Nachtman, J.; Nagai, Y.; Nagano, A.; Naganoma, J.; Nakamura, K.; Nakano, I.; Napier, A.; Necula, V.; Neu, C.; Neubauer, M. S.; Nielsen, J.; Nodulman, L.; Norman, M.; Norniella, O.; Nurse, E.; Oh, S. H.; Oh, Y. D.; Oksuzian, I.; Okusawa, T.; Oldeman, R.; Orava, R.; Osterberg, K.; Pagan Griso, S.; Pagliarone, C.; Palencia, E.; Papadimitriou, Vaia; Papaikonomou, A.; Paramonov, A. A.; Parks, B.; Pashapour, S.; Patrick, J.; Pauletta, G.; Paulini, M.; Paus, C.; Pellett, D. E.; Penzo, A.; Phillips, T. J.; Piacentino, G.; Piedra, J.; Pinera, L.; Pitts, K.; Plager, C.; Pondrom, L.; Portell, X.; Poukhov, O.; Pounder, N.; Prakoshyn, F.; Pronko, A.; Proudfoot, J.; Ptohos, Fotios; Punzi, G.; Pursley, J.; Rademacker, J.; Rahaman, A.; Ramakrishnan, V.; Ranjan, N.; Redondo, I.; Reisert, B.; Rekovic, V.; Renton, P.; Rescigno, M.; Richter, S.; Rimondi, F.; Ristori, L.; Robson, A.; Rodrigo, T.; Rogers, E.; Rolli, S.; Roser, R.; Rossi, M.; Rossin, R.; Roy, P.; Ruiz, A.; Russ, J.; Rusu, V.; Saarikko, H.; Safonov, A.; Sakumoto, W. K.; Salamanna, G.; Saltó, O.; Santi, L.; Sarkar, S.; Sartori, L.; Sato, K.; Savoy-Navarro, A.; Scheidle, T.; Schlabach, P.; Schmidt, E. E.; Schmidt, M. A.; Schmidt, M. P.; Schmitt, M.; Schwarz, T.; Scodellaro, L.; Scott, A. L.; Scribano, A.; Scuri, F.; Sedov, A.; Seidel, S.; Seiya, Y.; Semenov, A.; Sexton-Kennedy, L.; Sfyria, A.; Shalhout, S. Z.; Shapiro, M. D.; Shears, T.; Shepard, P. F.; Sherman, D.; Shimojima, M.; Shochet, M.; Shon, Y.; Shreyber, I.; Sidoti, A.; Sinervo, P.; Sisakyan, A.; Slaughter, A. J.; Slaunwhite, J.; Sliwa, K.; Smith, J. R.; Snider, F. D.; Snihur, R.; Soderberg, M.; Soha, A.; Somalwar, S.; Sorin, V.; Spalding, J.; Spinella, F.; Spreitzer, T.; Squillacioti, P.; Stanitzki, M.; St. Denis, R.; Stelzer, B.; Stelzer-Chilton, O.; Stentz, D.; Strologas, John; Stuart, D.; Suh, J. S.; Sukhanov, A.; Sun, H.; Suslov, I.; Suzuki, T.; Taffard, A.; Takashima, R.; Takeuchi, Y.; Tanaka, R.; Tecchio, M.; Teng, P. K.; Terashi, K.; Thom, J.; Thompson, A. S.; Thompson, G. A.; Thomson, E.; Tipton, P.; Tiwari, V.; Tkaczyk, S.; Toback, D.; Tokar, S.; Tollefson, K.; Tomura, T.; Tonelli, D.; Torre, S.; Torretta, D.; Tourneur, S.; Trischuk, W.; Tu, Y.; Turini, N.; Ukegawa, F.; Uozumi, S.; Vallecorsa, S.; Van Remortel, Nick; Varganov, A.; Vataga, E.; Vázquez, F.; Velev, G.; Vellidis, C.; Veszprémi, V.; Vidal, M.; Vidal, R.; Vila, I.; Vilar, R.; Vine, T.; Vogel, M.; Volobouev, I.; Volpi, G.; Würthwein, F.; Wagner, P.; Wagner, R. G.; Wagner, R. L.; Wagner-Kuhr, J.; Wagner, W.; Wakisaka, T.; Wallny, R.; Wang, S. M.; Warburton, A.; Waters, D.; Weinberger, M.; Wester, W. C.; Whitehouse, B.; Whiteson, D.; Wicklund, A. B.; Wicklund, E.; Williams, G.; Williams, H. H.; Wilson, P.; Winer, B. L.; Wittich, P.; Wolbers, S.; Wolfe, C.; Wright, T.; Wu, X.; Wynne, S. M.; Yagil, A.; Yamamoto, K.; Yamaoka, J.; Yamashita, T.; Yang, C.; Yang, U. K.; Yang, Y. C.; Yao, W. M.; Yeh, G. P.; Yoh, J.; Yorita, K.; Yoshida, T.; Yu, G. B.; Yu, I.; Yu, S. S.; Yun, J. C.; Zanello, L.; Zanetti, A.; Zaw, I.; Zhang, X.; Zheng, Y.; Zucchelli, S. (2008)
      We report the first top-quark mass measurement that uses a cross-section constraint to improve the mass determination. This measurement is made with a dilepton tt̄ event candidate sample collected with the Collider Detector ...
    • Conference Object  

      Editorial message: Special track on ubiquitous computing 

      Roussos, G.; Samaras, George S. (2005)
      Ubiquitous computing places humans in the center of environments saturated with computing and wireless communications capabilities, yet gracefully integrated, so that technology recedes in the background of everyday ...
    • Conference Object  

      Fast backward predictive congestion notification for ATM networks with significant propagation delays 

      Hu, Xiying; Lambert, James F.; Pitsillides, Andreas (1995)
      A fast Backward Predictive Congestion Notification (BPCN) scheme for ATM networks is proposed, whose objective is to avoid cell loss and achieve high resource utilisation during high traffic demand. A dynamic adaptive model ...
    • Conference Object  

      Fault detection and identification in Petri net controllers 

      Li, L.; Hadjicostis, Christoforos N.; Sreenivas, R. S. (2004)
      This paper proposes a methodology for providing fault tolerance to Petri net controllers. In order to provide tolerance against faults that may compromise the functionality of the Petri net controller, we construct a ...
    • Article  

      Finite-state machine embeddings for nonconcurrent error detection and identification 

      Hadjicostis, Christoforos N. (2005)
      In digital sequential systems that operate over several time steps, a state-transition fault at any time step during the operation of the system can corrupt its state and render its future functionality useless. Such ...
    • Conference Object  

      Highly parallel model for object-oriented concurrent constraint programming 

      Banach, Richard; Papadopoulos, George Angelos (IEEE, 1995)
      Two of the currently most promising programming paradigms, namely Object-Oriented Programming and Concurrent Constraint Programming are combined into a single, highly parallel computational model based on Term Graph Rewriting ...
    • Article  

      Implementing the MPEG-21 adaptation quality of service in dynamic environments 

      Angelides, Marios C.; Sofokleous, Anastasis A.; Schizas, Christos N. (2006)
      MPEG-21 embeds the AQoS schema tool which describes and associates conceptually major utilities required during the adaptation process, for example, adaptation operators, constraints and qualities. Defining an AQoS model, ...
    • Article  

      Key issues for the design and development of mobile commerce services and applications 

      Andreou, Andreas S.; Leonidou, Constantinos; Chrysostomou, Chrysostomos; Pitsillides, Andreas; Samaras, George S.; Schizas, Christos N.; Mavromoustakos, Stephanos M. (2005)
      This paper suggests a new approach for developing m-commerce services and applications based on a scheme that divides m-applications into directory- and transaction-oriented classes, identifies mobile user requirements, ...
    • Conference Object  

      Marine propeller design using artificial neural networks 

      Neocleous, Constantinos C.; Schizas, Christos N. (IEEE, 1999)
      The proper selection of marine propellers is in general an involved and time-consuming design task. It is mostly based on searching large mounts of experimental data in order to find a proper matching of performance ...
    • Conference Object  

      A mathematical framework for robust control over uncertain communication channels 

      Charalambous, Charalambos D.; Farhadi, A. (2005)
      In this paper, a mathematical framework for studying robust control over uncertain communication channels is introduced. The theory is developed by 1) Generalizing the classical information theoretic measures to the robust ...
    • Article  

      Modular-ε: An elaboration tolerant approach to the ramification and qualification problems 

      Kakas, Antonis C.; Michael, Loizos; Miller, R. (2005)
      We describe Modular-ε (Mε), a specialized, modeltheoretic logic for narrative reasoning about actions, able to represent non-deterministic domains involving concurrency, static laws (constraints) and indirect effects ...
    • Article  

      A multimedia programming model based on timed concurrent constraint programming 

      Papadopoulos, George Angelos (1998)
      We propose the development of multimedia programming frameworks based on the declarative logic programming setting and in particular the framework of object-oriented timed concurrent constraint programming (OO-TCCP). The ...
    • Conference Object  

      Multiobjective H2/H∞ by banach space operator theory 

      Djouadi, S. M.; Charalambous, Charalambos D.; Repperger, D. W. (2001)
      In this paper Banach space duality theory and operator theory are combined to show that the optimal performance index in the multiobjective H2/H∞ is equal to the operator induced norm of a particular operator. This operator ...
    • Article  

      On computing logic programs 

      Dimopoulos, Yannis (1996)
      In this paper we present and compare some classical problem-solving methods for computing the stable models of logic programs with negation. Using a graph theoretic representation of logic programs and their stable models, ...
    • Conference Object  

      Optimal preprocessing strategies for perfect reconstruction of binary signals under power-constrained transmission 

      Voulgaris, P. G.; Hadjicostis, Christoforos N. (2004)
      In this paper we further explore our deterministic worst-case framework for perfect reconstruction of discrete data transmissions through dispersive communication channels. Specifically, we are concerned with perfect ...
    • Conference Object  

      Optimization of nonlinear stochastic uncertain relaxed controlled systems: Entropy rate functional and robustness 

      Rezaei, F.; Charalambous, Charalambos D.; Kyprianou, Andreas (2004)
      This paper is concerned with nonlinear stochastic uncertain relaxed controlled difussions, in which the pay-off is described by the relative entropy between the nominal measure and the uncertain measure, when the uncertain ...
    • Conference Object  

      Optimization of nonlinear stochastic uncertain relaxed controlled systems: Entropy rate functional and robustness 

      Rezaei, F.; Charalambous, C. D.; Kyprianou, Andreas (Affiliation: Sch. of Info. Technol. and Eng., University of Ottawa, 800 King Edward Ave., Ottawa, Ont. K1N 6N5, CanadaAffiliation: Sch. of Info. Technol. and Eng., University of Ottawa, 161 Louis Pasteur, A519, Ottawa, Ont. K1N 6N5, CanadaAffiliation: Electrical Engineering Department, University of Cyprus, 75 Kallipoleos Avenue, Nicosia, CyprusAffiliation: Mechanical Engineering Department, University of Cyprus, 75 Kallipoleos Avenue, Nicosia, CyprusCorrespondence Address: Rezaei, F.Sch. of Info. Technol. and Eng., University of Ottawa, 800 King Edward Ave., Ottawa, Ont. K1N 6N5, Canadaemail: frezaei@site.uottawa.ca, 2004)
      This paper is concerned with nonlinear stochastic uncertain relaxed controlled difussions, in which the pay-off is described by the relative entropy between the nominal measure and the uncertain measure, when the uncertain ...