作者: nonsensical 時(shí)間: 2025-3-21 21:05 作者: hemorrhage 時(shí)間: 2025-3-22 01:02
Symbolic and Compositional Reachability for Timed Automata,timed automata, clocks and stop-watches, synchronizing over synchronous and broadcast channels, discrete variables ranging over bounded integers or structured types (arrays and records) as well as user-defined types and functions.作者: endocardium 時(shí)間: 2025-3-22 04:39
Lossy Counter Machines Decidability Cheat Sheet,deterministically and without notification. This model, introduced by R. Mayr [TCS 297:337-354 (2003)], is not yet very well known, even though it has already proven useful for establishing hardness results..In this paper we survey the basic theory of LCM’s and their verification problems, with a focus on the decidability/undecidability divide.作者: canonical 時(shí)間: 2025-3-22 11:03 作者: Macronutrients 時(shí)間: 2025-3-22 15:03
Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata,the heptagrid and the dodecagrid, these tilings being classically denoted by {5,4}, {7,3} and {5,3,4} respectively. As an application, this may give a hint for the boundary between decidable and undecidable problems for hyperbolic cellular automata.作者: 寬容 時(shí)間: 2025-3-22 19:28
Efficient Graph Reachability Query Answering Using Tree Decomposition,ation fields such as XML data processing, ontology reasoning and bioinformatics..In this paper, we present a novel indexing method based on the concept of tree decomposition. We show analytically that this intuitive approach is both time and space efficient. We demonstrate empirically the efficiency and the effectiveness of our method.作者: Forsake 時(shí)間: 2025-3-23 01:12 作者: COMA 時(shí)間: 2025-3-23 03:52
https://doi.org/10.1007/978-3-642-15349-5Action; algebraic structures; automata; complexity; finite state machines; infinite state sy; infinite sta作者: gangrene 時(shí)間: 2025-3-23 08:59 作者: Invertebrate 時(shí)間: 2025-3-23 13:47 作者: GREEN 時(shí)間: 2025-3-23 15:46
0302-9743 Overview: Unique visibility, state-of-the-art survey,.fast-track conference proceedings978-3-642-15348-8978-3-642-15349-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: LUDE 時(shí)間: 2025-3-23 19:11
Alexander Rabinovichormation systems and technology for industry and services, thus making a bridge between academia and enterprise. Following the success of 2006, ICEIS 2007 recei978-3-540-88709-6978-3-540-88710-2Series ISSN 1865-1348 Series E-ISSN 1865-1356 作者: Debate 時(shí)間: 2025-3-24 00:56
Maurice Margensterns of 2007, ICEIS 2008 received 665 paper submissions from more than 40 countries. In all, 62 papers were published and presented as full papers, i.e., completed978-3-642-00669-2978-3-642-00670-8Series ISSN 1865-1348 Series E-ISSN 1865-1356 作者: GUILT 時(shí)間: 2025-3-24 03:23
Martin Mundhenk,Felix Wei?s of 2007, ICEIS 2008 received 665 paper submissions from more than 40 countries. In all, 62 papers were published and presented as full papers, i.e., completed978-3-642-00669-2978-3-642-00670-8Series ISSN 1865-1348 Series E-ISSN 1865-1356 作者: 生意行為 時(shí)間: 2025-3-24 07:29
ider. Therefore, data confidentiality is an important concern from cloud service providers. Recently, three main approaches have been introduced to ensure data confidentiality in cloud services: data encryption; combination of encryption and fragmentation; and fragmentation. Besides, other strategie作者: oxidize 時(shí)間: 2025-3-24 13:57
Markus Holzer,Martin Kutribto surpass its restrictions and provides an efficient algorithm based on pivots that speeds up the entire process, whereas enabling to retrieve the most similar elements in a single-pass. We also investigate alternatives and propose efficient algorithms to choose the pivots. Experiments using real d作者: 形容詞 時(shí)間: 2025-3-24 15:05
Kim Guldstrand Larsenss transformation through its inability to adapt to events [1]. Another dimension brought forth by globalization is the manifold increase in the number of options that organizations have when it comes to choosing partners. While on one hand, the aggressive and competitive nature of the global market作者: 誘使 時(shí)間: 2025-3-24 21:20 作者: Offstage 時(shí)間: 2025-3-25 00:26
étienne André,Laurent Fribourga comparison with a solution for the same problem found by the human operators in the AOCC. We show that, even in simple problems and when comparing with solutions found by human operators, it is possible to find valid solutions, in less time and with a smaller cost.作者: Confound 時(shí)間: 2025-3-25 07:23 作者: AVOW 時(shí)間: 2025-3-25 11:17 作者: peritonitis 時(shí)間: 2025-3-25 14:30
Paulin Jacobé de Naurois,Virgile Mogbil selected heuristically, which target at capturing the dynamics of cost behavior as this is expressed by the available data attributes. The ANNs are enhanced by a Genetic Algorithm (GA) whose role is to evolve the network architectures (both input and internal hidden layers) by reducing the Mean Rel作者: 沒(méi)收 時(shí)間: 2025-3-25 15:54
Fernando Rosa-Velardohese classes and non-structural properties are captured by a rule-based classification model, which can be used for both explanation and prediction. In order to empower the versatility of our approach, we also combine it with a pre-processing method, which allows to restructure the log events accord作者: 合并 時(shí)間: 2025-3-25 23:34
Zdeněk Sawa must be minimised. An Iterated Local Search algorithm is proposed to solve the problem, numerical experiments based on simulated data are presented, and a detailed procedure is provided on how to retrieve and structure the warehouse layout input data. The results show a dramatic improvement over a 作者: Minatory 時(shí)間: 2025-3-26 02:20
Fang Weiarea. To create dataset Microsoft Azure Translation was chosen as the reference translation with manual translation verification for grammar. Translations produced by each model were compared with the reference translation using two metrics: BLEU and METEOR. The possibility of fast fine-tuning of mo作者: Pathogen 時(shí)間: 2025-3-26 06:55
he risk of stock-outs. Thus, adopting the IoT technology has the potential to greatly enhance the capabilities of the skilled crafts, allowing them to work more efficiently and effectively, and to better serve the needs of their customers..The aim of the IoT4H project is to make IoT technology usabl作者: 排出 時(shí)間: 2025-3-26 12:30
On the Joint Spectral Radius for Bounded Matrix Languages,ation in terms of a control problem for a switched linear system with a fixed and finite number of switching operations; if we fix the maximum number of switching operations in advance, then determining convergence to the origin for all initial points is decidable whereas determining boundedness of 作者: 平常 時(shí)間: 2025-3-26 13:27
irtual machines hosted and managed by a infrastructure as a service provider, or they can purchase access to a database service, maintained by a software as a service provider, without physically launching a virtual machine instance for the database. In a database service, application owners do not 作者: 館長(zhǎng) 時(shí)間: 2025-3-26 19:57 作者: HEDGE 時(shí)間: 2025-3-26 23:59
Kim Guldstrand Larsenlexity of managing business processes. This complexity can be attributed largely to the dynamic and distributed nature of the business environment ushered in by globalization. Businesses find themselves involved in complex inter- and intra-organizational transactions, when they make a decision such 作者: 木訥 時(shí)間: 2025-3-27 02:56 作者: 高興一回 時(shí)間: 2025-3-27 09:04
Philippe Schnoebelenhe solution of these problems are usually known as operations recovery. The Airline Operations Control Center (AOCC) tries to solve these problems with the minimum cost and satisfying all the required rules. In this paper we present the implementation of a Distributed Multi-Agent System (MAS) repres作者: 似少年 時(shí)間: 2025-3-27 11:34 作者: 大笑 時(shí)間: 2025-3-27 17:11
Paul C. Bell,Vesa Halava,Mika Hirvensalolexity of managing business processes. This complexity can be attributed largely to the dynamic and distributed nature of the business environment ushered in by globalization. Businesses find themselves involved in complex inter- and intra-organizational transactions, when they make a decision such 作者: 神經(jīng) 時(shí)間: 2025-3-27 17:48
Jakub Chaloupkais or design tasks. Most of these techniques focus on “structural” aspects of the process, in that they only consider what elementary activities were executed and in which ordering. Hence, any other “non-structural” data, usually kept in real log systems (e.g., activity executors, parameter values),作者: Engaging 時(shí)間: 2025-3-28 01:32 作者: 一回合 時(shí)間: 2025-3-28 02:53
Paulin Jacobé de Naurois,Virgile Mogbilctability of the software processes, people involved in project resource management have always been striving for acquiring reliable and accurate software cost estimations. The difficulty of finding a concise set of factors affecting productivity is amplified due to the dependence on the nature of p作者: 迅速成長(zhǎng) 時(shí)間: 2025-3-28 09:44
Martin Mundhenk,Felix Wei?Barcelona (Spain), organized by the Institute for Systems and Technologies of Information, Control and Com- nication (INSTICC) in cooperation with AAAI and co-sponsored by WfMC. ICEIS has become a major point of contact between research scientists, engineers and practitioners in the area of business作者: LANCE 時(shí)間: 2025-3-28 13:52 作者: LOPE 時(shí)間: 2025-3-28 17:34
Zdeněk Sawa distance from hospitals and pharmacies, allowing both a reduction in warehouse costs and prompt replenishment in case of shortages. However, for this practice to lead to effective optimization, warehouses need to be equipped with efficient order fulfillment and picking strategies, as well as a stor作者: nauseate 時(shí)間: 2025-3-28 21:51
Fang Weiucts for a lot of countries the feedback could be provided with various languages. That can produce a number of difficulties during automatic text processing. One of the solutions is to use one common language to process feedback and automatically translate feedbacks from the various languages to th作者: 小臼 時(shí)間: 2025-3-29 01:44 作者: 燒烤 時(shí)間: 2025-3-29 06:49 作者: induct 時(shí)間: 2025-3-29 08:30
Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA,how they can be corrected. In this paper, a new simpler and more efficient algorithm for the same problem is presented. The running time of the presented algorithm is .(. .(.?+?.)), where . is the number of states and . the number of transitions of a?given unary NFA.作者: 洞察力 時(shí)間: 2025-3-29 15:12
Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata,summarize and discuss developments relevant to (un)ambiguous finite automata and pushdown automata problems from the descriptional complexity point of view. We do not prove these results but we merely draw attention to the big picture and some of the main ideas involved.作者: 神經(jīng) 時(shí)間: 2025-3-29 17:03 作者: Fibrin 時(shí)間: 2025-3-29 22:49 作者: 完全 時(shí)間: 2025-3-30 03:30
Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata,machine has at most one accepting computation path for each accepted word. While unambiguous pushdown automata induce a language family strictly in between the deterministic and general context-free languages, unambiguous finite automata capture the regular languages, that is, they are equally power作者: GULP 時(shí)間: 2025-3-30 06:21 作者: 優(yōu)雅 時(shí)間: 2025-3-30 12:12 作者: 癡呆 時(shí)間: 2025-3-30 16:14 作者: 草率女 時(shí)間: 2025-3-30 18:05 作者: BORE 時(shí)間: 2025-3-30 21:26
,-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in ,,es of which are divided between the two players. Brázdil, Jan?ar, and Ku?era?(2010) have shown that for .?>?0, deciding the winner in a game on .-dimensional VASS is in (.???1)-.. In this paper, we show that, for .?=?2, the problem is in ., and thus improve the . upper bound.
