Sciweavers

979 search results - page 149 / 196
» Presentations for Abstract Context Institutions
Sort
View
HM
2007
Springer
114views Optimization» more  HM 2007»
13 years 12 months ago
Hybrid Numerical Optimization for Combinatorial Network Problems
Abstract. We discuss a general approach to hybridize traditional construction heuristics for combinatorial optimization problems with numerical based evolutionary algorithms. There...
Markus Chimani, Maria Kandyba, Mike Preuss
APWEB
2004
Springer
13 years 11 months ago
Effective Visualisation of Workflow Enactment
Abstract. Although most existing teamwork management systems support userfriendly interface to some extent, few of them have take into consideration of the special requirements of ...
Yun Yang, Wei Lai, Jun Shen, Xiaodi Huang, Jun Yan...
COOPIS
2004
IEEE
13 years 11 months ago
Satin: A Component Model for Mobile Self Organisation
Abstract. We have recently witnessed a growing interest in self organising systems, both in research and in practice. These systems re-organise in response to new or changing condi...
Stefanos Zachariadis, Cecilia Mascolo, Wolfgang Em...
CONCUR
2006
Springer
13 years 11 months ago
Minimization, Learning, and Conformance Testing of Boolean Programs
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
Viraj Kumar, P. Madhusudan, Mahesh Viswanathan
DAS
2006
Springer
13 years 11 months ago
Writer Identification for Smart Meeting Room Systems
Abstract. In this paper we present a text independent on-line writer identification system based on Gaussian Mixture Models (GMMs). This system has been developed in the context of...
Marcus Liwicki, Andreas Schlapbach, Horst Bunke, S...