|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 15746 occurrences of 5632 keywords
|
|
|
Results
Found 33576 publication records. Showing 33576 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
56 | Irene Kotsia, Ioannis Patras |
Relative Margin Support Tensor Machines for gait and action recognition. |
CIVR |
2010 |
DBLP DOI BibTeX RDF |
?-support tensor machines, ?-support vector machines, multilinear support tensor machines, relative margin support tensor machines, relative margin support vector machines |
49 | Gang Luo, Anindya Das, Gregor von Bochmann |
Software Testing Based on SDL Specifications with Save. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
SDL specifications, signal save construct, SDL-machines, SDL-machine transformation, input/output relationship, formal specification, software testing, programming languages, finite state machines, finite state machines, program verification, specification languages, program testing, software verification, high-level specification |
45 | Alan C. Shaw |
Communicating Real-Time State Machines. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
communicating real-time state machines, executable notation, concurrent real-time systems, controlled physical environment, CRSMs, CRSM language, real-time systems, formal specification, finite state machines, parallel machines, requirements specification, state machines, communicating sequential processes, timing properties |
43 | Gang Luo, Gregor von Bochmann, Alexandre Petrenko |
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing |
42 | Chandra Chekuri, Sanjeev Khanna |
A PTAS for Minimizing Weighted Completion Time on Uniformly Related Machines. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
average completion time, uniformly related machines, weighted completion time, scheduling, Polynomial time approximation scheme |
40 | Edward W. Krauser, Aditya P. Mathur, Vernon Rego |
High Performance Software Testing on SIMD Machines. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
mutant unification, program mutation, single instruction multiple data stream, software testing, software reliability, software reliability, program testing, parallel machines, parallel machines, software systems, SIMD machines |
39 | Rolf Mitsdorffer, Joachim Diederich |
Prediction of First-Day Returns of Initial Public Offering in the US Stock Market Using Rule Extraction from Support Vector Machines. |
Rule Extraction from Support Vector Machines |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Spyros C. Kontogiannis |
Lower bounds & competitive algorithms for online scheduling of unit-size tasks to related machines. |
STOC |
2002 |
DBLP DOI BibTeX RDF |
limited information, online load balancing, related machines |
38 | Florentin Ipate, Mike Holcombe |
Generating Test Sets from Non-Deterministic Stream X-Machines. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Testing, Finite state machines, Non-determinism, Test set generation, X-machines |
37 | Jerzy Tyszkiewicz |
Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines (Extended Abstract). |
MFCS |
1997 |
DBLP DOI BibTeX RDF |
|
37 | Irith Pomeranz, Sudhakar M. Reddy |
Test generation for multiple state-table faults in finite-state machines. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
multiple state-table faults, incompletely specified faulty machines, implicit fault enumeration, fault diagnosis, logic testing, test generation, finite state machines, finite-state machines |
37 | Elisa Heymann, Miquel A. Senar, Emilio Luque, Miron Livny |
Evaluation of Strategies to Reduce the Impact of Machine Reclaim in Cycle-Stealing Environments. |
CCGRID |
2001 |
DBLP DOI BibTeX RDF |
opportunistic systems, scheduling, grid computing, cluster computing, Cycle-stealing |
36 | Joachim Diederich |
Rule Extraction from Support Vector Machines: An Introduction. |
Rule Extraction from Support Vector Machines |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra |
Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Lei Gu 0001, Huizhong Wu |
Applying a novel decision rule to the sphere-structured support vector machines algorithm. |
Neural Comput. Appl. |
2009 |
DBLP DOI BibTeX RDF |
Sphere-structured support vector machines, Pattern classification, Decision rule, Kernel functions |
35 | Paolo Cremonesi, Matteo Pugassi |
Performance Characterization of Quadrics Machines Based on HighLevel Languages. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
benchmarking, parallel machines, performance prediction, SIMD machines |
35 | Robert M. Fuhrer, Bill Lin 0001, Steven M. Nowick |
Algorithms for the optimal state assignment of asynchronous state machines. |
ARVLSI |
1995 |
DBLP DOI BibTeX RDF |
optimal state assignment, asynchronous state machines, state codes, race-free state assignment, hazard-free state assignment, input encoding problem, sum-of-products implementations, finite state machines, asynchronous circuits, state assignment, minimisation of switching nets, hazards and race conditions, asynchronous sequential logic |
34 | Ho-Leung Chan, Tak Wah Lam, Kin-Shing Liu |
Extra unit-speed machines are almost as powerful as speedy machines for competitive flow time scheduling. |
SODA |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Yossi Azar, Leah Epstein |
Approximation Schemes for Covering and Scheduling on Related Machines. |
APPROX |
1998 |
DBLP DOI BibTeX RDF |
|
34 | Atsushi Hori, Munenori Maeda, Yutaka Ishikawa, Takashi Tomokiyo, Hiroki Konaka |
A scalable time-sharing scheduling for partitionable distributed memory parallel machines. |
HICSS (2) |
1995 |
DBLP DOI BibTeX RDF |
time-sharing systems, scalable time-sharing scheduling, partitionable distributed memory parallel machines, process scheduling queue system, distributed queue tree, dynamically partitionable parallel machines, dynamically nested partitioning, time-sharing scheduling, process scheduling queues, round-robin scheduling algorithm, task allocation policies, high-load situations, parallel machines, reconfigurable architectures, trees (mathematics), distributed memory systems, processor scheduling, simulation results, interactive environment, time-sharing, nested, batch scheduling, processor utilization |
34 | Mark A. Nichols, Howard Jay Siegel, Henry G. Dietz, Russell W. Quong, Wayne G. Nation |
Eliminating Memory for Fragmentation Within Partitionable SIMD/SPMD Machines. |
IEEE Trans. Parallel Distributed Syst. |
1991 |
DBLP DOI BibTeX RDF |
partitionable SIMD/SPMD machines, compilation process, perfect memory maps, large-scale parallel machines, user-controlled partitionable single-instruction-multipledata/single-program-multiple data, memory fragmentation, memory map size, singleprogram nature, partitionable interconnection networks, parallel programming, parallelism, parallel machines, program compilers, storage management, multiprocessorinterconnection networks |
34 | James A. Lupo |
Benchmarking UHGROMOS. |
HICSS (5) |
1995 |
DBLP DOI BibTeX RDF |
GROMOS, parallel Fortran preprocessor, Pfortran, Intel Corporation, IBM Corporation, massively parallel processor machines, Intel iPSC/860, Caltech Intel DELTA, IBM SP1, UHGROMOS molecular dynamics program, test application, parallel performance analysis, parallel programming, benchmarking, FORTRAN, parallel machines, parallel machines, software performance evaluation, physics, parallel languages, software portability, physics computing, porting, Intel Paragon, program processors, molecular dynamics method |
33 | Lakhmi C. Jain, Anas Quteishat, Chee Peng Lim |
Intelligent Machines: An Introduction. |
Innovations in Intelligent Machines (1) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Jan Van den Bussche |
Finite Cursor Machines in Database Query Processing. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Lars Heide |
Scale and Scope in American Key-Set Office Machine Dynamics, 1880s-1930s. |
IEEE Ann. Hist. Comput. |
2011 |
DBLP DOI BibTeX RDF |
key-set office machines, typewriters, adding machines, multiplication machines, cash registers, punched-card machines, industrial competition, Burroughs, Felt & Tarrant, Remington, National Cash Register Company, Herman Hollerith, Remington Rand, history of computing, IBM |
32 | Hongbing Liu, Shengwu Xiong, Qiong Chen |
Training fuzzy support vector machines by using boundary of rough set. |
GEC Summit |
2009 |
DBLP DOI BibTeX RDF |
support vector machines, rough set, boundary, equivalence class, fuzzy support vector machines |
32 | Marian Gheorghe 0001 |
Generalised Stream X-Machines and Cooperating Distributed Grammar Systems. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Cooperating distributed grammar systems, Generalised stream X-machines, Computational models, Turing machines, Formal grammars |
32 | Peter Koepke |
Ordinal Computability. |
CiE |
2009 |
DBLP DOI BibTeX RDF |
Ordinal machines, Infinite Time Register Machines, Constructible sets |
31 | Damien Woods, Turlough Neary |
Small Semi-weakly Universal Turing Machines. |
MCU |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Pinyan Lu, Changyuan Yu |
Randomized Truthful Mechanisms for Scheduling Unrelated Machines. |
WINE |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Jennifer Burge, Parthasarathy Ranganathan, Janet L. Wiener |
Cost-aware scheduling for heterogeneous enterprise machines (CASH'EM). |
CLUSTER |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Hong-Soog Kim, Hae-Jin Kim, Dong-Soo Han |
Performance Evaluation of BLAST on SMP Machines. |
ISPA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Oguz Dikenelli, Murat Osman Ünalir, Atilla Özerdim, Esen A. Ozkarahan |
A load balancing approach for parallel database machines. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
parallel database machines, multiattribute declustering, load balancing, resource allocation, parallel architecture, distributed databases, database machines, database machines, parallel database systems |
31 | Antonio Polo Márquez, Manuel Barrena García, Juan Hernández Núñez, Juan-Miguel Martínez 0002, Pedro de Miguel, Manuel M. Nieto Rodríguez |
Multi-dimensional partitioning for massively parallel database machines. |
PDP |
1995 |
DBLP DOI BibTeX RDF |
multidimensional partitioning, massively parallel database machines, processing tools, parallel relational database, m-Q-tree indexes, multiattribute index structure, scalability, query processing, relational databases, distributed databases, requirements, parallel machines, high performance, software performance evaluation, access method, tree data structures, database machines, complex queries, data declustering |
31 | David Bernstein, Michael Rodeh, Izidor Gertner |
On the Complexity of Scheduling Problems for Parallel/Pipelined Machines. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
pipelined machines, scheduling, computational complexity, complexity, NP-completeness, parallel machines, parallel machines, polynomial-time algorithm, pipeline processing, scheduling problems, dedicated processors |
31 | L. P. J. Veelenturf |
Inference of Sequential Machines from Sample Computations. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
synthesis of sequential machines, Adaptive sequential machines, identification in the limit, identification on sequential machines, inductive inference |
30 | Carol Pedersen, Joachim Diederich |
Accent in Speech Samples: Support Vector Machines for Classification and Rule Extraction. |
Rule Extraction from Support Vector Machines |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Glenn Fung, Sathyakama Sandilya, R. Bharat Rao |
Rule Extraction from Linear Support Vector Machines via Mathematical Programming. |
Rule Extraction from Support Vector Machines |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Antje Nowack |
Slicing Abstract State Machines. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Stanislas Nanchen, Robert F. Stärk |
A Security Logic for Abstract State Machines. |
Abstract State Machines |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Marianna Nicolosi Asmundo, Elvinia Riccobene |
Consistent Integration for Sequential Abstract State Machines. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Wolf Zimmermann, Axel Dold |
A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Nicu G. Fruja, Robert F. Stärk |
The Hidden Computation Stepsof Turbo Abstract State Machines. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Erich Grädel, Antje Nowack |
Quantum Computing and Abstract State Machines. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Wolfram Schulte |
Parallelism versus Nondeterminism - On the Semantics of Abstract State Machines. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Angelo Gargantini, Elvinia Riccobene |
Encoding Abstract State Machines in PVS. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene |
Modeling the Dynamics of UML State Machines. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Michael Barnett 0001, Egon Börger, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
Using Abstract State Machines at Microsoft: A Case Study. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Andreas Blass, Yuri Gurevich, Jan Van den Bussche |
Abstract State Machines and Computationally Complete Query Languages. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Eric Torng, Jason McCullough |
SRPT optimally utilizes faster machines to minimize flow time. |
ACM Trans. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
scheduling, parallel machines, resource augmentation, flow time, SRPT |
30 | Hadas Shachnai, Tami Tamir, Gerhard J. Woeginger |
Minimizing Makespan and Preemption Costs on a System of Uniform Machines. |
Algorithmica |
2005 |
DBLP DOI BibTeX RDF |
Uniform machines, Preemption costs, Minimum makespan, Scheduling, Approximation algorithms, Parallel processing |
30 | Rajeev Alur, Michael Benedikt, Kousha Etessami, Patrice Godefroid, Thomas W. Reps, Mihalis Yannakakis |
Analysis of recursive state machines. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
recursive state machines, model checking, temporal logic, program analysis, Software verification, context-free languages, pushdown automata |
30 | Noah Pywes, Paul Rehmet |
Recovery of Software Design, State-Machines, and Specifications from Source Code. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
hierarchical software architecture, specifications entities, software engineering, specifications, software design, source code, state-machines |
29 | Mahmut T. Kandemir, J. Ramanujam, Alok N. Choudhary |
Compiler Algorithms for Optimizing Locality and Parallelism on Shared and Distributed Memory Machines. |
IEEE PACT |
1997 |
DBLP DOI BibTeX RDF |
storage layout, SUN SPARCstation 5, IBM SP-2, SGI Challenge, Convex Exemplar, parallel architectures, parallel architectures, optimizing compilers, interprocessor communication, cache performance, distributed memory machines, shared memory machines, loop nests, data decomposition, compiler algorithms |
29 | Christoph Siegelin, Ciaran O'Donnell, Ulrich Finger |
Efficient Simulation of Multiprocessors through Finite State Machines. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
event-driven multiprocessor simulators, memory behaviour, cache behaviour, simulation, multiprocessors, finite state machines, finite state machines |
29 | Jayantha A. Herath, Yoshinori Yamaguchi, Nobuo Saito, Toshitsugu Yuba |
Dataflow Computing Models, Languages, and Machines for Intelligence Computations. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
intelligence computations, dataflow computing models, dataflow computing machines, high-level-language-graph transformations, dataflow computing environment, DCBL, benchmark programs, EM-3, performance evaluation, performance evaluation, parallel programming, parallel programming, functional programming, parallel machines, Lisp, LISP, high level languages, ETL, dataflow languages |
28 | Olivier Danvy |
Defunctionalized interpreters for programming languages. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics |
28 | Florentin Ipate, Mike Holcombe |
Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. |
XP |
2005 |
DBLP DOI BibTeX RDF |
finite state machines, unit testing, functional testing, state diagrams, stream X-machines |
28 | Bill Stoddart, Steve Dunne, Andy Galloway, Richard Shore |
Abstract State Machines: Designing Distributed Systems with State Machines and B. |
B |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi |
Testing system virtual machines. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
software testing, virtualization, emulation, automatic test generation, fuzzing |
28 | Luis Diego Briceno, Mohana Oltikar, Howard Jay Siegel, Anthony A. Maciejewski |
Study of an Iterative Technique to Minimize Completion Times of Non-Makespan Machines. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Witold Kinsner |
Towards Cognitive Machines: Multiscale Measures and Analysis. |
IEEE ICCI |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Rajeev Alur, Sampath Kannan, Mihalis Yannakakis |
Communicating Hierarchical State Machines. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
28 | William M. Farmer, Richard F. Freund, Mark Furtney, Paul Messina, Lionel M. Ni, Charles L. Seitz, Marc Snir |
For a Massive Number of Massively Parallel Machines: What are the Target Applications, Who are the Target Users, and What New R&D is Needed to Hit the Target? |
IPPS |
1996 |
DBLP DOI BibTeX RDF |
parallel processing, high-performance computing, SIMD, MIMD, grand challenges |
28 | Toshio Yanagida |
Single Molecule Nano-Bioscience. |
BioADIT |
2006 |
DBLP DOI BibTeX RDF |
|
28 | P. J. Narayanan |
Processor Autonomy on SIMD Architectures. |
International Conference on Supercomputing |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Shigeo Abe |
Sparse least squares support vector training in the reduced empirical feature space. |
Pattern Anal. Appl. |
2007 |
DBLP DOI BibTeX RDF |
Empirical feature space, RBF kernels, Support vector machines, Pattern classification, Least squares support vector machines, Cholesky factorization, Multi-class support vector machines |
27 | Soumitra Bose, Vishwani D. Agrawal |
Sequential logic path delay test generation by symbolic analysis. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
sequential logic path delay test generation, two-vector test sequences, non-scan sequential circuit, multivalued algebras, three-vector test sequences combinational logic, value propagation rule, ISCAS89 benchmarks, fault diagnosis, logic testing, delays, Boolean functions, Boolean functions, finite state machines, finite state machines, sequential circuits, encoding, automatic testing, Binary Decision Diagrams, multivalued logic, sequential machines, symbolic analysis, combinational logic, state transitions |
27 | Lizy Kurian John, Vinod Reddy, Paul T. Hulina, Lee D. Coraor |
A comparative evaluation of software techniques to hide memory latency. |
HICSS (1) |
1995 |
DBLP DOI BibTeX RDF |
comparative software evaluation, software oriented techniques, superscalar machines, superpipelined machines, software cache prefetching, data fetch request, software controlled prefetching, aggressive prefetching, memory bandwidth requirements, bus traffic, performance, parallel machines, program compilers, processor scheduling, software performance evaluation, software pipelining, pipeline processing, microarchitecture, cache storage, instruction set architecture, memory latency, loop unrolling, static scheduling, conditional branches |
27 | Théophile Carniel, Leo Cazenille, Jean-Michel Dalle, José Halloy |
Ten Years of Living Machines Conferences: Transformers-Based Automated Topic Grouping. |
Living Machines |
2022 |
DBLP DOI BibTeX RDF |
|
27 | |
Autonomous Vehicles and Machines 2022 Conference Overview and Papers Program. |
Autonomous Vehicles and Machines |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Robin B. Jenkin, Cheng Zhao |
Radiometry and Photometry for Autonomous Vehicles and Machines - Fundamental Performance Limits. |
Autonomous Vehicles and Machines |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Xerxes D. Arsiwalla, Ismael T. Freire, Vasiliki Vouloutsi, Paul F. M. J. Verschure |
Latent Morality in Algorithms and Machines. |
Living Machines |
2019 |
DBLP DOI BibTeX RDF |
|
27 | Jordi-Ysard Puigbò, Xerxes D. Arsiwalla, Paul F. M. J. Verschure |
Challenges of Machine Learning for Living Machines. |
Living Machines |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Victoria A. Webster, Katherine J. Chapin, Emma L. Hawley, Jill M. Patel, Ozan Akkus, Hillel J. Chiel, Roger D. Quinn |
Aplysia Californica as a Novel Source of Material for Biohybrid Robots and Organic Machines. |
Living Machines |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Xerxes D. Arsiwalla, Ivan Herreros, Paul F. M. J. Verschure |
On Three Categories of Conscious Machines. |
Living Machines |
2016 |
DBLP DOI BibTeX RDF |
|
27 | Mark D. Wagy, Josh C. Bongard |
Crowdseeding: A Novel Approach for Designing Bioinspired Machines. |
Living Machines |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Victoria A. Webster, Emma L. Hawley, Ozan Akkus, Hillel J. Chiel, Roger D. Quinn |
Fabrication of Electrocompacted Aligned Collagen Morphs for Cardiomyocyte Powered Living Machines. |
Living Machines |
2015 |
DBLP DOI BibTeX RDF |
|
27 | Alexander J. Lonsberry, Kathryn A. Daltorio, Roger D. Quinn |
Capturing Stochastic Insect Movements with Liquid State Machines. |
Living Machines |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Jole Costanza, Luca Zammataro, Giuseppe Nicosia |
Programming Living Machines: The Case Study of Escherichia Coli. |
Living Machines |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Mathew H. Evans, Charles W. Fox, Tony J. Prescott |
Machines Learning - Towards a New Synthetic Autobiographical Memory. |
Living Machines |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Stuart P. Wilson, Tony J. Prescott |
Evo-devo Design for Living Machines. |
Living Machines |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Nathan F. Lepora, Paul F. M. J. Verschure, Tony J. Prescott |
Towards a Roadmap for Living Machines. |
Living Machines |
2013 |
DBLP DOI BibTeX RDF |
|
27 | David Martens, Johan Huysmans, Rudy Setiono, Jan Vanthienen, Bart Baesens |
Rule Extraction from Support Vector Machines: An Overview of Issues and Application in Credit Scoring. |
Rule Extraction from Support Vector Machines |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Nat Durlach, Steve Colburn, Gerald Kidd, Chris Mason, Barbara G. Shinn-Cunningham, Tanya Arborgast, Sasha Devore, Erick Gallun, Pat Zurek, Jay Desloge |
Source Separation, Localization, and Comprehension in Humans, Machines, and Human-machine Systems. |
Speech Separation by Humans and Machines |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Susanne Graf, Andreas Prinz 0001 |
Time in State Machines. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
27 | Michael J. Butler, Michael Leuschel, Colin F. Snook |
Tools for System Validation with B Abstract Machines. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
27 | Calvin Kai Fan Tang, Eugenia Ternovska |
Model Checking Abstract State Machines with Answer Set Programming. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
27 | Seshadhri Comandur, Anil Seth, Somenath Biswas |
RAM Simulation of BGS Model of Abstract State Machines. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
27 | Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi |
Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
27 | Egon Börger |
Design Pattern Abstractions and Abstract State Machines. |
Abstract State Machines |
2005 |
DBLP BibTeX RDF |
|
27 | Christoph Beierle, Gabriele Kern-Isberner |
Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Antje Nowack |
Deciding the Verification Problem for Abstract State Machines. |
Abstract State Machines |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Yuri Gurevich, Wolfram Schulte, Charles Wallace 0001 |
Investigating Java Concurrency Using Abstract State Machines. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Andreas Blass |
Abstract State Machines and Pure Mathematics. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Marc Spielmann |
Model Checking Abstract State Machines and Beyond. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Egon Börger |
Abstract State Machines at the Cusp of the Millenium. |
Abstract State Machines |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Giuseppe Del Castillo |
The ASM Workbench: an Open and Extensible Tool Environment for Abstract State Machines. |
Workshop on Abstract State Machines |
1998 |
DBLP BibTeX RDF |
|
27 | Wolfgang Schönfeld |
Interacting Abstract State Machines. |
Workshop on Abstract State Machines |
1998 |
DBLP BibTeX RDF |
|
27 | Marcelo de Almeida Maia, Vladimir Oliveira Di Iorio, Roberto da Silva Bigonha |
Interacting Abstract State Machines. |
Workshop on Abstract State Machines |
1998 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 33576 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|