Computation

Results: 6765



#Item
871Linear algebra / Matrix theory / Matrices / Jordan normal form / Matrix / Frobenius normal form / Triangular matrix / Square matrix / Eigenvalues and eigenvectors / Determinant / Trace / Canonical form

A REDUCE package for the computation of several matrix normal forms Matt Rebbeck Konrad-Zuse-Zentrum f¨ ur Informationstechnik Berlin Takustra¨se 7

Add to Reading List

Source URL: reduce-algebra.com

Language: English - Date: 2008-12-30 11:47:04
872Process management / Diagrams / Workflow technology / Models of computation / Process mining / Concurrency / Petri net / Process modeling / Conformance checking / Business process management / Business process modeling / Conceptual model

Program Chairs Malu Castellanos Ton Weijters Publication and coordination chair Manolo Carcia-Solaco Program Committee

Add to Reading List

Source URL: bpm2005.loria.fr

Language: English - Date: 2005-09-12 10:44:40
873Theoretical computer science / Computational complexity theory / Analysis of algorithms / Geometry / Visibility / Viewshed / Time complexity / Algorithm / Motion planning / Viewshed analysis

Efficient viewshed computation on terrain in external memory Marcus V. A. Andrade1,2 , Salles V. G. Magalh˜aes1 , Mirella A. Magalh˜aes1 , W. Randolph Franklin2 , and Barbara M. Cutler3 1 2

Add to Reading List

Source URL: www.cs.rpi.edu

Language: English - Date: 2009-11-19 21:17:30
874Citizen science / Crowdsourcing / Human-based computation / Science education / Public awareness of science / Science / Open science

PDF Document

Add to Reading List

Source URL: www.ecsa2016.eu

Language: English - Date: 2016-05-26 11:43:41
875

Real Quantifier Elimination by Computation of Comprehensive Gr¨ obner Systems Ryoya Fukasaku1 Hidenao Iwane2

Add to Reading List

Source URL: www.issac-symposium.org

Language: English - Date: 2015-07-08 04:39:04
    876Cybernetics / Sexual selection / Evolution / Genetic algorithms / Fitness / Interactive evolutionary computation / Evolutionary algorithm / Evolutionary computation / Natural selection

    Adaptive Game Level Creation through Rank-based Interactive Evolution Antonios Liapis H´ector P. Mart´ınez

    Add to Reading List

    Source URL: antoniosliapis.com

    Language: English - Date: 2014-12-01 05:19:26
    877Search algorithms / Discrete geometry / Data mining / Nearest neighbor search / Numerical analysis / K-nearest neighbors algorithm / R-tree / Skyline

    Progressive Skyline Computation in Database Systems Dimitris Papadias Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Hong Kong

    Add to Reading List

    Source URL: delab.csd.auth.gr

    Language: English - Date: 2008-01-10 03:06:21
    878Computability theory / Theoretical computer science / Formal methods / Models of computation / Lambda calculus / Eval / Scheme / Env / Interpreter / Anonymous function / Halting problem / Turing machine

    Microsoft PowerPoint - universal_machinesv2.ppt

    Add to Reading List

    Source URL: sicp.csail.mit.edu

    Language: English - Date: 2005-12-08 08:45:06
    879Algebra / Equations / Recurrence relation / Theory of computation / Matrix exponential / Matrix / Linear differential equation / Equation solving / Euclidean algorithm / Differential equation / Polynomial / Gaussian elimination

    Fast computation of power series solutions of systems of differential equations∗ A. Bostan† F. Chyzak†

    Add to Reading List

    Source URL: www.csd.uwo.ca

    Language: English - Date: 2007-03-04 21:27:23
    880Combinatorial optimization / Matching / Models of computation / Robotics / Algorithm / Machine learning / Robot / Hungarian algorithm / Multi-agent system / A* search algorithm / Humanoid robot / Agent-based model

    Weighted Synergy Graphs for Role Assignment in Ad Hoc Heterogeneous Robot Teams Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA a

    Add to Reading List

    Source URL: somchaya.org

    Language: English - Date: 2014-05-05 11:44:14
    UPDATE