43,136 Hits in 15.2 sec

A Markov Random Field description of fuzzy color segmentation

Angela D'Angelo, Jean-Luc Dugelay
2010 2010 2nd International Conference on Image Processing Theory, Tools and Applications  
To partially overcome the problem of highlight and shadows in the image, which is one of the main aspect affecting the performance of color segmentation systems, the proposed approach uses a fuzzy classifier  ...  The experimantal results show the good performance of the proposed approach which is comparable to state of the art systems even if based only on the color information of the image.  ...  ACKNOWLEDGMENT This work has been partially funded by the FR OSEO BIORAFALE and FR ANR VIDEO-ID projects.  ... 
doi:10.1109/ipta.2010.5586796 dblp:conf/ipta/DAngeloD10 fatcat:pyzrjwimrvbk5a2o2o46y2jtoy

Formal Verification of Quantum Programs: Theory, Tools and Challenges [article]

Marco Lewis and Sadegh Soudjani and Paolo Zuliani
2021 arXiv   pre-print
This survey aims to be a short introduction into the area of formal verification of quantum programs, bringing together theory and tools developed to date.  ...  Research into creating verification frameworks for quantum programs has seen recent development, with a variety of tools implemented using a collection of theoretical ideas.  ...  Examples of such tools 2 include SMT (Satisfiability Modulo Theories) solvers: Z3 [33] , Yices2 [38] and dReal [44] ; stochastic, discrete model checkers: PRISM [61] and STORM [50] ; non-deterministic  ... 
arXiv:2110.01320v1 fatcat:lhzma7wkbfdfhmlrnm6fmo2axm

TGV: theory, principles and algorithms

Claude Jard, Thierry Jéron
2004 International Journal on Software Tools for Technology Transfer (STTT)  
The paper describes the main elements of the underlying testing theory, based on a model of transitions system which distinguishes inputs, outputs and internal actions, and based on the concept of conformance  ...  The principles of the test synthesis process are explained as well as the main algorithms. We then describe the main characteristics of the TGV tool.  ...  Acknowledgements: The TGV tool is the result of a common work during several years.  ... 
doi:10.1007/s10009-004-0153-x fatcat:lbzoyswq4nh5tjqxuvj4xcx7ua

Network modelling and simulation tools

Muhammad Azizur Rahman, Algirdas Pakštas, Frank Zhigang Wang
2009 Simulation modelling practice and theory  
This paper reviews some of the most important network MS tools developed recently. This paper also shows a classification of the tools used in communications networks.  ...  To make this task easy, different users, researchers and companies have developed different network modelling and simulation (MS) tools.  ...  From this tool, per packet processing cost, per-byte cost and total processing costs (processing delay) are found and this cost can be simulated.  ... 
doi:10.1016/j.simpat.2009.02.005 fatcat:micyepqhpjck3dcylb74juwbqu

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider
2017 Formal methods in system design  
We show how ppDATE specifications can be analysed using a combination of the deductive theorem prover KeY and the runtime verification tool LARVA.  ...  Many of these techniques work directly on the source code and are used to verify data-oriented properties over all possible executions.  ...  sequential Java (with the exception of generics and floating-point types currently).  ... 
doi:10.1007/s10703-017-0274-y fatcat:nqaqabcijjgqfkeso5hshg2q7e

Game theory-based resource management strategy for cognitive radio networks

Bassem Zayen, Aawatif Hayar, Guevara Noubir
2012 Multimedia tools and applications  
This paper investigates the application of game theory tools in the context of cognitive radio networks (CRN).  ...  The reported results demonstrate the efficiency of the proposed technique in terms of CRN deployment while maintaining quality-of-service (QoS) for the primary system.  ...  Parts of this paper were presented at ICMCS 2011 [32] .  ... 
doi:10.1007/s11042-012-1211-0 fatcat:dlh4dqqrqrerdmfe2d7rxe2ofi

A multilevel approach to big data analysis using analytic tools and actor network theory

Tiko Iyamu
2018 South African Journal of Information Management  
This includes examining how a sociotechnical theory, the actor network theory (ANT), can be complementarily used with analytic tools for big data analysis.Method: In the study, the qualitative methods  ...  This has a negative impact on the accuracy, redundancy and usefulness of data sets, which in turn affects the value of operations and the competitive effectiveness of an organisation.  ...  It first requires an understanding of the main factors, which can deterministically affect the outcome.  ... 
doi:10.4102/sajim.v20i1.914 fatcat:sk744gqryfaffdt6nwe7eyfuki

CEST and MEST: Tools for the simulation of radio frequency electric discharges in waveguides

Francisco Pérez, Juan de Lara, Luis Conde, Manuel Alfonseca, Luis Galán, David Raboso
2008 Simulation modelling practice and theory  
In this paper we present two software tools for the simulation of electron multiplication processes in radio frequency (RF) waveguides.  ...  The tools allow performing batches of simulations with different wall coating materials and gases, and have produced results in good agreement with experimental and theoretical data.  ...  The Tools In this section we present the main features of the tools, and stress their usefulness for the investigation of the different processes in the discharge.  ... 
doi:10.1016/j.simpat.2008.08.002 fatcat:ineb4ahzsnfqjnvtue7fbttwm4

Tinker 8: Software Tools for Molecular Design

Joshua A. Rackers, Zhi Wang, Chao Lu, Marie L. Laury, Louis Lagardère, Michael J. Schnieders, Jean-Philip Piquemal, Pengyu Ren, Jay W. Ponder
2018 Journal of Chemical Theory and Computation  
The package runs on Linux, macOS, and Windows systems.  ...  processing units (GPUs), respectively.  ...  Acknowledgements JWP and PR wish to thank the National Institutes of Health NIGMS for support of recent force field and software development via awards R01 GM106137 and R01 GM114237.  ... 
doi:10.1021/acs.jctc.8b00529 pmid:30176213 pmcid:PMC6335969 fatcat:dr6m2xthnzaexhiubijfe4wjme

Software debugging and testing using the abstract diagnosis theory

Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
2011 Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems - LCTES '11  
Another interesting application of our results is in data logging of non-terminating embedded systems, where axillary data storage devices are slow and have limited size.  ...  Our method is fully implemented in a tool chain for MISRA-C compliant source codes.  ...  Acknowledgements This research was supported in part by NSERC DG 357121-2008, ORF RE03-045, ORE RE-04-036, and ISOP IS09-06-037.  ... 
doi:10.1145/1967677.1967693 dblp:conf/lctrts/NavabpourBF11 fatcat:krgonol7rfdwzghg5j72vbb3py

Process Algebras [chapter]

Bruce Leasure, David J. Kuck, Sergei Gorlatch, Murray Cole, Gregory R. Watson, Alain Darte, David Padua, Utpal Banerjee, Olaf Schenk, Klaus Gärtner, David Padua, Howard Jay Siegel (+43 others)
2011 Encyclopedia of Parallel Computing  
DEFINITION: Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.  ...  By relying on the so called Structural Operational Semantics (SOS), labelled transition systems are built and composed by using the different operators of the many different process algebras.  ...  Tools To deal with non-toy examples and apply the theory of process algebras to the specification and verification of real systems, tool support is essential.  ... 
doi:10.1007/978-0-387-09766-4_450 fatcat:w3fdmomk3jdgbhojpspho2wpam

Hybrid process algebra

P.J.L. Cuijpers, M.A. Reniers
2005 The Journal of Logic and Algebraic Programming  
We develop an algebraic theory, called hybrid process algebra (HyPA), for the description and analysis of hybrid systems.  ...  HyPA is an extension of the process algebra ACP, with the disrupt operator from LOTOS and with flow clauses and re-initialization clauses for the description of continuous behavior and discontinuities.  ...  The alternative composition p ⊕ q models a (non-deterministic) choice between the processes p and q. The sequential composition p q models a sequential execution of processes p and q.  ... 
doi:10.1016/j.jlap.2004.02.001 fatcat:yjh24qg2kbgofhchtryavw25kq

Data mining and decision making

Andrew Kusiak, Belur V. Dasarathy
2002 Data Mining and Knowledge Discovery: Theory, Tools, and Technology IV  
is simulated, and the parameters optimizing process performance are recommended.  ...  To enhance the quality of the extracted knowledge and decision-making, the data sets are transformed, the knowledge is extracted with multiple algorithms, the impact of the decisions on the modeled process  ...  .), Proceedings of the SPIE Conference on Data Mining and Knowledge Discovery: Theory, Tools, and Technology IV, Vol. 4730, SPIE, Orlando, FL, April 2002, pp. 155-165.  ... 
doi:10.1117/12.460224 dblp:conf/dmkdttt/Kusiak02 fatcat:haizsaaa7fguzbx7fq2nrbcd44

Causality in higher order process theories [article]

Matt Wilson, Giulio Chiribella
2021 arXiv   pre-print
Recently, the key features of quantum supermaps were captured through a general categorical framework, which when iterated yields the framework of higher order process theories (HOPT).  ...  The HOPT framework combines lower and higher order transformations in a single unified theory, with its mathematical structure shown to coincide with the notion of a closed monoidal category.  ...  Indeed, for every pair of systems Y and X , for every pair of processes S : In other words, the choice of a supermap on system A ⇒ A ′ cannot signal to any other system X .  ... 
arXiv:2107.14581v1 fatcat:7odebvxejjcwdokdquzjydvupi

Concatenable graph processes: Relating processes and derivation traces [chapter]

Paolo Baldan, Andrea Corradini, Ugo Montanari
1998 Lecture Notes in Computer Science  
The notion of concatenable graph process is introduced and then the category of concatenable derivation traces is shown to be isomorphic to the category of concatenable graph processes.  ...  Several formal concurrent semantics have been proposed for graph rewriting, a powerful formalism for the specification of concurrent and distributed systems which generalizes P/T Petri nets.  ...  Graph processes are for graph grammars what deterministic, non-sequential processes [10] are for P/T Petri nets.  ... 
doi:10.1007/bfb0055061 fatcat:c4bzkk5ryncbtpuqwes6opbfre
« Previous Showing results 1 — 15 out of 43,136 results