AI Agent - arXivDaily 专题

1512.08575 2015-12-31 cs.LG cs.IT math.IT 57%

Optimal Selective Attention in Reactive Agents

Roy Fox, Naftali Tishby

专题命中工作流自动化：agent(abstract)；分类 cs.LG

1512.02102 2015-12-08 cs.SE 57%

Proof Driven Development

Ben Goodspeed

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

Comments 23 pages, 3 figures

1509.02830 2015-09-10 cs.DC cs.SE 57%

Modeling and visualizing networked multi-core embedded software energy consumption

Steve Kerrison, Kerstin Eder

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

1508.07455 2015-09-01 cs.DB cs.SE 57%

Towards Automated Performance Optimization of BPMN Business Processes

Anastasios Gounaris

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

Comments 17 pages

1402.0402 2015-08-24 cs.DS cs.AI 57%

Customizable Contraction Hierarchies

Julian Dibbelt, Ben Strasser, Dorothea Wagner

专题命中工作流自动化：workflow(abstract)；分类 cs.AI

1508.02035 2015-08-11 cs.AI cs.CR cs.GT 57%

Security Games with Ambiguous Beliefs of Agents

Hossein Khani, Mohsen Afsharchi

专题命中工作流自动化：agent(abstract)；分类 cs.AI

1508.01412 2015-08-07 cs.DC cs.SE 57%

Enhanced Usability of Managing Workflows in an Industrial Data Gateway

Gary A. McGilvary, Malcolm Atkinson, Sandra Gesing, Alvaro Aguilera, Richard Grunzke, Eva Sciacca

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

Comments Proceedings of the 1st International Workshop on Interoperable Infrastructures for Interdisciplinary Big Data Sciences, 2015

1507.07479 2015-07-29 cs.SE cs.CR 57%

Modularity for Security-Sensitive Workflows

Daniel Ricardo dos Santos, Silvio Ranise, Serena Elisa Ponta

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

1507.05654 2015-07-22 cs.SE 57%

Business Process Mining Approaches: A Relative Comparison

Saiqa Aleem, Luiz Fernando Capretz, Faheem Ahmed

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

Journal ref International Journal of Science, Technology & Management, 4(1):1557-1564, 2015

1505.02428 2015-05-12 cs.SE 57%

Live Inspection of Spreadsheets

Daniel Kulesz, Fabian Toth, Fabian Beck

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

Comments In Proceedings of the 2nd Workshop on Software Engineering Methods in Spreadsheets (http://spreadsheetlab.org/sems15/)

1503.02626 2015-03-10 cs.AI 57%

On the Intrinsic Limits to Representationally-Adaptive Machine-Learning

David Windridge

专题命中工作流自动化：agent(abstract)；分类 cs.AI

1409.2366 2014-09-09 cs.SE 57%

Towards a Semantics of Activity Diagrams with Semantic Variation Points

Hans Grönninger, Dirk Reiß, Bernhard Rumpe

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

Comments 15 pages, 6 figures

1408.5733 2014-08-26 astro-ph.IM cs.SE 57%

Virtual Observatory Publishing with DaCHS

Markus Demleitner, Margarida Castro Neves, Florian Rothmaier, Joachim Wambsganss

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

1408.5695 2014-08-26 cs.SE 57%

Using Lightweight Activity Diagrams for Modeling and Generation of Web Information Systems

Dirk Reiß, Bernhard Rumpe

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

Comments 12 pages, 6 figures

Journal ref Proceedings 4th International United Information Systems Conference, UNISCON 2012, Yalta, Ukraine, June 1-3, 2012. Lecture Notes in Business Information Processing, vol. 137, pages 61-73, Springer, 2013

1408.2687 2014-08-13 cs.SE 57%

A Noble Methodology for Users Work Process Driven Software Requirements for Smart Handheld Devices

Tamjid Rahman, M. Rokonuzzaman

专题命中工作流自动化：planning(abstract)；分类 cs.SE

Comments 18 pages, 9 figures

1406.7000 2014-06-27 cs.SE 57%

Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models

Radoslaw Klimek

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

1406.1395 2014-06-06 cs.SE cs.LO 57%

An LTL Semantics of Business Workflows with Recovery

Luca Ferrucci, Marcello M. Bersani, Manuel Mazzara

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

1405.0319 2014-05-09 cs.SE 57%

On Formalisms for Dynamic Reconfiguration of Dependable Systems

Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce, Manuel Mazzara

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

Comments EDCC-2014, Fast-Abstracts

1404.7618 2014-05-07 cs.SE 57%

Modeling and Execution of Multienterprise Business Processes

Robert Singer, Johannes Kotremba, Stefan Raß

专题命中工作流自动化：agent(abstract)；分类 cs.SE

Comments arXiv admin note: substantial text overlap with arXiv:1404.2737

1405.0327 2014-05-05 cs.SE 57%

Big Data Analytics for QoS Prediction Through Probabilistic Model Checking

Giuseppe Cicotti, Luigi Coppolino, Salvatore D'Antonio, Luigi Romano

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

Comments EDCC-2014, BIG4CIP-2014, Big Data Analytics, QoS Prediction, Model Checking, SLA compliance monitoring

1405.0034 2014-05-02 cs.AI 57%

Belief Revision and Trust

Aaron Hunter

专题命中工作流自动化：agent(abstract)；分类 cs.AI

Comments Appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014)

1404.5078 2014-04-22 cs.AI 57%

TurKPF: TurKontrol as a Particle Filter

Ethan Petuchowski, Matthew Lease

专题命中工作流自动化：workflow(abstract)；分类 cs.AI

Comments 8 pages, 6 figures, formula appendix

1404.0640 2014-04-03 cs.AI 57%

Conceptive Artificial Intelligence: Insights from design theory

Akin Osman Kazakci

专题命中工作流自动化：agent(abstract)；分类 cs.AI

Journal ref International Design Conference DESIGN2014, Croatia (2014)

1403.0648 2014-03-05 cs.GT cs.LG q-fin.TR stat.ML 57%

Multi-period Trading Prediction Markets with Connections to Machine Learning

Jinli Hu, Amos Storkey

专题命中工作流自动化：agent(abstract)；分类 cs.LG

1402.5757 2014-02-25 cs.SE cs.CE 57%

An Integrated e-science Analysis Base for Computation Neuroscience Experiments and Analysis

Kamran Munir, Saad Liaquat Kiani, Khawar Hasham, Richard McClatchey, Andrew Branson, Jetendr Shamdasani, the N4U Consortium

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

Comments 8 pages & 4 figures

Journal ref Procedia - Social and Behavioral Sciences. Vol 73 pp 85-92 (2013) Elsevier Publishers

1402.4280 2014-02-19 cs.SE 57%

Guided Support for Collaborative Modeling, Enactment and Simulation of Software Development Processes

Alejandro Fernández, Badie Garzaldeen, Ines Grützner, Jürgen Münch

专题命中工作流自动化：planning(abstract)；分类 cs.SE

Comments 8 pages. The final publication is available at http://onlinelibrary.wiley.com/doi/10.1002/spip.199/abstract

Journal ref International Journal on Software Process: Improvement and Practice, 9(2):95-106, 2004

1402.1985 2014-02-11 cs.SE 57%

Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification

Radoslaw Klimek

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

1312.4851 2013-12-24 cs.CY cs.AI 57%

Representing, Simulating and Analysing Ho Chi Minh City Tsunami Plan by Means of Process Models

Le Nguyen Tuan Thanh, Chihab Hanachi, Serge Stinckwich, Ho Tuong Vinh

专题命中工作流自动化：workflow(abstract)；分类 cs.AI

Comments 7 pages. ISCRAM (Information Systems for Crisis Response and Management) Vietnam 2013 Conference

1309.1784 2013-12-17 cs.SE cs.DB 57%

Enabling Reproducible Science with VisTrails

David Koop, Juliana Freire, Claudio T. Silva

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

Comments Accepted for WSSSPE 2013

1312.2359 2013-12-13 cs.SE 57%

Towards Ontological Support for Principle Solutions in Mechanical Engineering

Thilo Breitsprecher, Mihai Codescu, Constantin Jucovschi, Michael Kohlhase, Lutz Schröder, Sandro Wartzack

专题命中工作流自动化：workflow(abstract)；分类 cs.SE

1. 工作流自动化 10535 篇

Optimal Selective Attention in Reactive Agents

Proof Driven Development

Modeling and visualizing networked multi-core embedded software energy consumption

Towards Automated Performance Optimization of BPMN Business Processes

Customizable Contraction Hierarchies

Security Games with Ambiguous Beliefs of Agents

Enhanced Usability of Managing Workflows in an Industrial Data Gateway

Modularity for Security-Sensitive Workflows

Business Process Mining Approaches: A Relative Comparison

Live Inspection of Spreadsheets

On the Intrinsic Limits to Representationally-Adaptive Machine-Learning

Towards a Semantics of Activity Diagrams with Semantic Variation Points

Virtual Observatory Publishing with DaCHS

Using Lightweight Activity Diagrams for Modeling and Generation of Web Information Systems

A Noble Methodology for Users Work Process Driven Software Requirements for Smart Handheld Devices

Towards a Pattern-based Automatic Generation of Logical Specifications for Software Models

An LTL Semantics of Business Workflows with Recovery

On Formalisms for Dynamic Reconfiguration of Dependable Systems

Modeling and Execution of Multienterprise Business Processes

Big Data Analytics for QoS Prediction Through Probabilistic Model Checking

Belief Revision and Trust

TurKPF: TurKontrol as a Particle Filter

Conceptive Artificial Intelligence: Insights from design theory

Multi-period Trading Prediction Markets with Connections to Machine Learning

An Integrated e-science Analysis Base for Computation Neuroscience Experiments and Analysis

Guided Support for Collaborative Modeling, Enactment and Simulation of Software Development Processes

Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification

Representing, Simulating and Analysing Ho Chi Minh City Tsunami Plan by Means of Process Models

Enabling Reproducible Science with VisTrails

Towards Ontological Support for Principle Solutions in Mechanical Engineering