Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Constraint-Erfüllung"'
Autor:
Grumbach, Lisa
Traditional workflow management systems support process participants in fulfilling business tasks through guidance along a predefined workflow model. Flexibility has gained a lot of attention in recent decades through a shift from mass production to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d9b2836f548b1bf83de01054177695a
Autor:
Löffler, Sven
Mit Hilfe der Constraint-Programmierung können komplexe, häufig NP-vollständige Probleme, wie zum Beispiel Graphfärbungs-, Optimierungs-, Konfigurations- sowie Schichtplanungs-, Raum- und Zeitplanungsprobleme modelliert und gelöst werden. Im Vor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::50d2dfbe4fdfd3ab6d989284205dc4fc
https://opus4.kobv.de/opus4-btu/files/6149/Doktorarbeit_Loeffler.pdf
https://opus4.kobv.de/opus4-btu/files/6149/Doktorarbeit_Loeffler.pdf
Publikováno v:
2018 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID)
CCGrid
CCGrid
Cloud computing and its computing as an utility paradigm provides on-demand resources allowing the seamless adaptation of applications to fluctuating demands. While the Cloud's ongoing commercialisation has lead to a vast provider landscape, vendor l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::229ca0bd349e327676202f1f9c1e75a6
Autor:
Graf, Winfried, Maaß, Wolfgang
Bei der Entwicklung neuerer intelligenter Benutzerschnittstellen, die wie im Beispiel des multimodalen Präsentationssystems WIP natürliche Sprache und Graphik kombinieren, spielt insbesondere die wissensbasierte Gestaltung des Layouts multimodaler
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b6657fabd37f0ae31d819596ce9e1ee
Autor:
Kratsch, Stefan
This thesis addresses the kernelization properties of generic problems, defined via syntactical restrictions or by a problem framework. Polynomial kernelization is a formalization of data reduction, aimed at combinatorially hard problems, which allow
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6b66ec006310a9b8371f5cb938ad4c79
Autor:
Siebenhaller, Martin
Die Visualisierung ist ein bewährtes und probates Mittel für die Repräsentation von Daten. Aufgrund der kognitiven Fähigkeiten von Menschen erleichtert eine Visualisierung (graphische Darstellung) das Aufnehmen und Verstehen der in den Daten enth
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______707::0e56ba91301939508bf48d4c803976ad
https://hdl.handle.net/10900/49366
https://hdl.handle.net/10900/49366
Autor:
Mukhopadhyay, S.
Automatic verification of infinite state systems is an important area of research. Unlike its finite state counterpart, in spite of the existence of a large body of theoretical and practical results on automatic verification of infinite state systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7c611388d2e77cf0ebc72a95f6065bc9
Autor:
Forster, Michael
Clustered graphs are an enhanced graph model with a recursive clustering of the vertices according to a given nesting relation. This prime technique for expressing coherence of certain parts of the graph is used in many applications, such as biochemi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______240::5fdd0e8bb0922fa593fe7a471475fbb7
Autor:
Bodirsky, Manuel.
Publikováno v:
LF.
Berlin, Humboldt-University, Diss., 2004.
Externí odkaz:
http://deposit.ddb.de/cgi-bin/dokserv?idn=973605413
http://edoc.hu-berlin.de/dissertationen/bodirsky-manuel-2004-11-04/PDF/Bodirsky.pdf
http://edoc.hu-berlin.de/dissertationen/bodirsky-manuel-2004-11-04/PDF/Bodirsky.pdf