Suggested Topics within your search.
Suggested Topics within your search.
1
Published 1995
Subjects:
“...Expert systems (Computer science) Congresses....”
Book
2
Published 2014
Table of Contents:
“.../HOL -- Completeness Theorems for Bi-Kleene Algebras and Series-Parallel Rational Pomset Languages -- A...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... -- NuEditor – A Tool Suite for Specification and Verification of NuSCR -- Requirements Engineering...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... as representations of mental models and group beliefs -- FCM Relationship Modeling for Engineering Systems -- Using...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...Engineering of Multi-agent Systems -- “It’s Not Just Goals All the Way Down” – “It’s Activities All...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... for in Silico Microscopy Imaging Studies -- Ontology Engineering -- Discovering Evolving Regions in Life Science...”View full text
Electronic
eBook
7
Published 2011
Table of Contents:
“... Telecommunications Market as an Example -- An Empirical Study of Network Topology Inference -- Computer Network...”View full text
Electronic
eBook
8
9
Published 2005
Table of Contents:
“...Computer Algebra and Applications -- On Wintner’s Conjecture About Central Configurations...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... to Preference Values for Shape Rules -- A Technique for Implementing a Computation-Friendly Shape Grammar...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... -- Autonomic Computing Software for Autonomous Space Vehicles -- Logic-Based Modeling of Information Transfer...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... from Search Engine Log Files -- Regular Papers -- Pharmacophore Knowledge Refinement Method...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... in SAT-Based Model Checking -- Tool Papers I -- Saturn: A SAT-Based Tool for Bug Detection -- JVer: A...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“...Computational Study of Blood Flow through Elastic Arteries with Porous Effects -- A Modified...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... of Reachability Computation with Polyhedra -- Structural Abstraction of Software Verification Conditions...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Design and Implementation of a Threaded Search Engine for Tour Recommendation Systems -- Analysis...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Systems Theory and Simulation: Formal Approaches -- Computation and Simulation in Modelling...”View full text
Electronic
eBook
18
Published 2011
Table of Contents:
“... Computing Environment -- An Intelligent Multi-Agent Model for Resource Virtualization: Supporting Social...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“...Generic Intelligent Systems -- Applications of Intelligent Systems -- Invited Session Papers...”View full text
Electronic
eBook
20
Knowledge-Based Intelligent Information and Engineering Systems 9th International Conference, KES...
Published 2005
Table of Contents:
“...Innovations in Intelligent Systems and Their Applications -- Data Mining and Soft Computing...”View full text
Electronic
eBook