Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic and Premium resources

Semi-automatic distribution pattern modeling of web service compositions using semantics

Author:Ronan Barrett, Claus Pahl
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Enterprise systems are frequently built by combining a number of discrete Web services together, a…

A comparative evaluation of interactive segmentation algorithms

Author:Adamek, Adams, Boykov, Boykov, Friedland, Ge, Greig, Jiang, Kass, Kendall, Kevin McGuinness, Koenemann, Li, Liang, Martin, McGuinness, Morris, Noel E. O’Connor, Olabarriaga, Pham, Rand, Rother, Rubner, Salembier, Suh, Wyszecki, Zadeh, Zhang
Publisher:Elsevier BV
Abstract: In this paper we present a comparative evaluation of four popular interactive segmentation algorith…

Automatic summarization of rushes video using bipartite graphs

Author:A.M. Ferman, C. Liu, C.M. Taskiran, D. Byrne, P. Over, Y.Q. Dai
Publisher:Springer Science and Business Media LLC
Abstract: In this paper we present a new approach for automatic summarization of rushes video. Our approach i…

Multiagent cooperation for solving global optimization problems: an extendible framework with example cooperation strategies

Author:A. Gçnay, A. Neumaier, Akƒ±n Gçnay, D. Barbucha, D.J. Wales, D.S. Siirola, D.S. Siirola, E. Kaszkurewicz, E.-G. Talbi, F. Schoen, Fatma Ba≈üak Aydemir, Figen √ñztoprak, J. Nocedal, J.J. Moré, M. Gendreau, M. Hapner, M. Winikoff, M. Yokoo, M.J. North, M.P. Singh, N. Melab, O. Shehory, P.J. Modi, P.M. Pardalos, Pƒ±nar Yolum, R. √ñstermark, R. √ñtermark, R.H. Bordini, S. Kraus, S. Luke, S. Staab, S. Talukdar, T.G. Crainic, ≈û. I. Birbil, ≈û. ƒ∞lker Birbil
Publisher:Springer Science and Business Media LLC
Abstract: This paper proposes the use of multiagent cooperation for solving global optimization problems thro…

Minimum power multicasting with delay bound constraints in Ad Hoc wireless networks

Author:Kerem Bulbul, Kerem Bçlbçl, Ozgur Ercetin, √ñzgçr Er√ßetin, Kemal Kilic, Kemal Kƒ±lƒ±√ß, Erhun Omer Kundakcioglu, Erhun √ñmer Kundakcƒ±oƒülu, Tonguc Unluyurt, Tongu√ß √únlçyurt
Publisher:World Scientific Pub Co Pte Lt
Abstract: In this paper, we design a new heuristic for an important extension of the minimum power multicasti…

Service discovery and negotiation with COWS

Author:Alessandro Lapadula, Bacciu, Bartoletti, Bistarelli, Bistarelli, Bistarelli, Boreale, Bravetti, Buscemi, Busi, Butler, Carbone, De Nicola, De Nicola, Díaz, Fantechi, Fournet, Francesco Tiezzi, Freuder, Gelernter, Gilmore, Guidi, Hung, Keller, Laneve, Laneve, Lapadula, Lapadula, Lapadula, Lazovik, Meredith, Milner, Montanari, Nestmann, Prandi, Rosario Pugliese, Saraswat, Srinivasan, Sycara, Wischik
Publisher:Elsevier BV
Abstract: To provide formal foundations to current (web) services technologies, we put forward using COWS, a …

Stochastic model predictive control for constrained networked control systems with random time delay

Author:Antsaklis, Antunes, Baillieul, Chen, Chen, Cloosterman, Cloosterman, Cloosterman, Cloosterman, Costa, Donkers, Gielen, Gielen, Heemels, Heemels, Hespanha, Hetel, Hetel, Montestruque, Nilsson, Nilsson, Patrinos, Patrinos, Rockafellar, Seiler, Shi, Tipsuwan, Zhang, Zhang
Publisher:Elsevier BV
Abstract: In this paper the continuous time stochastic constrained optimal control problem is formulated for …

Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties

Author:A. Fox, C. Heitmeyer, E. Alkassar, G. Barthe, M.O. Myreen, T. Murray, W. Paul
Publisher:Springer Science and Business Media LLC
Abstract: In this paper, we formally verify security properties of the ARMv7 Instruction Set Architecture (IS…

Attack on the clones: managing player perceptions of visual variety and believability in video game crowds

Author:Ben Kirman, Sean Oxspring, Oliver Szymanezyk
Publisher:Springer Science and Business Media LLC
Abstract: Crowds of non-player characters are increasingly common in contemporary video games. It is often th…

Towards a Semantic Gas Source Localization under Uncertainty

Author:FM Schleif, H Ishida, J Monroy, Javier Monroy, JG Li, JR Ruiz-Sarmiento, JR Ruiz-Sarmiento, L Marques, M Uschold, M Vergassola, PP Neumann, S Sklavounos, Z Falomir
Publisher:Springer Science and Business Media LLC
Abstract: Towards a Semantic Gas Source Localization under Uncertainty.Communications in Computer and Informa…
Powered by: