Results 21 to 30 of about 46,991 (95)
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective [PDF]
, 2000 A number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem.
Engelfriet, Joeri +6 more
core +7 more sources
Generating and Solving Symbolic Parity Games [PDF]
, 2014 We present a new tool for verification of modal mu-calculus formulae for process specifications, based on symbolic parity games. It enhances an existing method, that first encodes the problem to a Parameterised Boolean Equation System (PBES) and then ...
Kant, Gijs, van de Pol, Jaco
core +4 more sources
Polynomial tuning of multiparametric combinatorial samplers
, 2017 Boltzmann samplers and the recursive method are prominent algorithmic frameworks for the approximate-size and exact-size random generation of large combinatorial structures, such as maps, tilings, RNA sequences or various tree-like structures.
Bendkowski, Maciej +2 more
core +1 more source
SBML models and MathSBML [PDF]
, 2008 MathSBML is an open-source, freely-downloadable Mathematica package that facilitates working with Systems Biology Markup Language (SBML) models. SBML is a toolneutral,computer-readable format for representing models of biochemical reaction networks ...
Shapiro, B.E. +9 more
core +2 more sources
Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda [PDF]
, 2016 Valiant (1975) has developed an algorithm for recognition of context free languages. As of today, it remains the algorithm with the best asymptotic complexity for this purpose.
Bernardy, Jean-Philippe, Jansson, Patrik
core +2 more sources
Abstract State Machines 1988-1998: Commented ASM Bibliography [PDF]
, 1998 An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu ...
Boerger, Egon, Huggins, James K.
core +3 more sources
An Institutional Framework for Heterogeneous Formal Development in UML [PDF]
, 2014 We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogeneous approach. This can express suitable formal semantics of the different
A. Boronat +19 more
core +2 more sources
Multi-cultural visualization : how functional programming can enrich visualization (and vice versa) [PDF]
, 2006 The past two decades have seen visualization flourish as a research field in its own right, with advances on the computational challenges of faster algorithms, new techniques for datasets too large for in-core processing, and advances in understanding ...
Borgo, Rita +3 more
core
Meadow enriched ACP process algebras [PDF]
, 2009 We introduce the notion of an ACP process algebra. The models of the axiom system ACP are the origin of this notion. ACP process algebras have to do with processes in which no data are involved.
C. A. Middelburg +5 more
core +4 more sources
Category theory : definitions and examples [PDF]
, 1990 Category theory was invented as an abstract language for describing certain structures and constructions which repeatedly occur in many branches of mathematics, such as topology, algebra, and logic.
Srinivas, Yellamraju V.
core