M > symbolic | BibSonomy

publications (hide)13
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...

3Random Walk Inference and Learning in A Large Scale Knowledge Base.
N. Lao, T. Mitchell, and W. Cohen. EMNLP, page 529-539. ACL, (2011)
4 years ago by @frankyanpan
show all tags
knowledgegraph
Symbolic
knowledgegraphSymbolic
copydeleteadd this publication to your clipboard
1Permutationally invariant potential energy surfaces in high dimensionality
B. Braams, and J. Bowman. International Reviews in Physical Chemistry, 28 (4): 577-606 (October 2009)
13 years ago by @drmatusek
show all tags
symbolic
surface
mathematics
chemistry
computation
invariant
energy
fit
polynomial
physics
review
potential
theory
symbolicsurfacemathematicschemistrycomputationinvariantenergyfitpolynomialphysicsreviewpotentialtheory
copydeleteadd this publication to your clipboard
1Symbol Grounding in Computational Systems: A Paradox of Intentions
V. Müller. Minds and Machines, (Dec 2, 2009)
15 years ago by @djsaab
show all tags
computational,
semantic,
symbolic
computationalism,
grounding,
cognitive,
semantic\_nativism,
computational,semantic,symboliccomputationalism,grounding,cognitive,semantic\_nativism,
copydeleteadd this publication to your clipboard
2Symbolic Model Checking: 10 20 States and Beyond
J. Burch, E. Clarke, K. Mcmillan, D. Dill, and L. Hwang. (1990)
15 years ago by @giuliano.losa
show all tags
bdd
symbolic
spin
modelchecking
bddsymbolicspinmodelchecking
copydeleteadd this publication to your clipboard
2Probabilistic relaxation for matching problems in computer vision
J. Kittler, W. Christmas, and M. Petrou. Computer Vision, 1993. Proceedings., Fourth International Conference on, (May 1993)
15 years ago by @mozaher
show all tags
image
models,
relaxation,
symbolic
probabilistic
road
attributed
graph,
heuristic
matching,
formulas,
straight
attributes,
processingaerial
network,
binary
segment,
stereo
relational
line
images,
pair,
relations,
network
matching
vision,
problems,
computer
edge
structures
imagemodels,relaxation,symbolicprobabilisticroadattributedgraph,heuristicmatching,formulas,straightattributes,processingaerialnetwork,binarysegment,stereorelationallineimages,pair,relations,networkmatchingvision,problems,computeredgestructures
copydeleteadd this publication to your clipboard
1Model Checking
E. Jr., O. Grumberg, and D. Peled. The MIT Press, (1999)
17 years ago by @ist_spl
show all tags
checking
model-checker
LTL
symbolic
CTL
model
temporal
checkingmodel-checkerLTLsymbolicCTLmodeltemporal
copydeleteadd this publication to your clipboard
1Agent-based modeling and genetic programming for modeling land change in the Southern Yucatan Peninsular Region of Mexico
S. Manson. Agriculture, Ecosystems and Environment, 111 (1-4): 47--62 (1 December 2005)
17 years ago by @brazovayeye
show all tags
genetic
Agent-based
Land-use
Genetic
model,
change,
Multicriteria
algorithms,
program,
programming,
and
regression
evaluation,
Symbolic
land-cover
geneticAgent-basedLand-useGeneticmodel,change,Multicriteriaalgorithms,program,programming,andregressionevaluation,Symbolicland-cover
copydeleteadd this publication to your clipboard
2Learning dynamic models of compartment systems by combining symbolic regression with fuzzy vector envisionment
M. Khoury, F. Guerin, and G. Coghill. Genetic and Evolutionary Computation Conference (GECCO2007) workshop program, page 2769--2776. London, United Kingdom, ACM Press, (7-11 July 2007)
17 years ago by @brazovayeye
show all tags
compartmental
genetic
symbolic
modelling,
measurement,
model,
pathways,
u-tube
regression,
algorithms,
S-system,
programming,
biological
metabolic
dynamic
vector
fuzzy
semi-quantitative
envisionment,
compartmentalgeneticsymbolicmodelling,measurement,model,pathways,u-tuberegression,algorithms,S-system,programming,biologicalmetabolicdynamicvectorfuzzysemi-quantitativeenvisionment,
copydeleteadd this publication to your clipboard
1Measuring Facial Emotional Expressions Using Genetic Programming
A. Loizides, M. Slater, and W. Langdon. Soft Computing and Industry Recent Applications, page 545--554. Springer-Verlag, (10--24 September 2001)Published 2002.
17 years ago by @brazovayeye
show all tags
visualisation,
genetic
algorithms,
symbolic
programming,
data
regression
visualisation,geneticalgorithms,symbolicprogramming,dataregression
copydeleteadd this publication to your clipboard
1Editorial: special issue on specification-based testing
R. Hierons, and J. Derrick. Software Testing, Verification and Reliability, 10 (4): 201-202 (2000)MR: Gewissermaßen state-of-the-art (für Jahr 2000) von spezifikationsbasierten Testmethoden. Überblick über drei Methoden wird gegeben: statechart + symbolic execution, state-based specification + propositional logic + constraint solver, components specification + flowgraph + mutation analysis.
17 years ago by @ist_spl
show all tags
constraint-solving
statecharts
symbolic
flowgraph
testing
propositional
logic
black-box
automated
specification-based
execution
generation
constraint-solvingstatechartssymbolicflowgraphtestingpropositionallogicblack-boxautomatedspecification-basedexecutiongeneration
copydeleteadd this publication to your clipboard
1Randomizing nonlinear maps via symbolic dynamics
L. Micco, C. González, H. Larrondo, M. Martin, A. Plastino, and O. Rosso. Physica A: Statistical Mechanics and its Applications, 387 (14): 3373--3383 (Jun 1, 2008)
17 years ago by @smicha
show all tags
dynamics
Symbolic
dynamicsSymbolic
copydeleteadd this publication to your clipboard
1On the symbolic insimplification of the general $6R$-manipulator kinematic equations
T. Recio, and M. González-López. ISSAC '94: Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation: July 20--22, 1994, Oxford, England, United Kingdom, page 354--358. New York, NY 10036, USA, ACM Press, (1994)
17 years ago by @dmartins
show all tags
problems;
Robotics;
Ideal;
insimplification;
kinematic
Symbolically
equations;
freedom;
Kinematics;
General
theory;
computation;
Symbolic
Robot
Six
algorithms;
Inverse
solving;
conjecture;
manipulator;
class;
degrees
Kovacs
of
manipulator
6R
Elbow
verification
problems;Robotics;Ideal;insimplification;kinematicSymbolicallyequations;freedom;Kinematics;Generaltheory;computation;SymbolicRobotSixalgorithms;Inversesolving;conjecture;manipulator;class;degreesKovacsofmanipulator6RElbowverification
copydeleteadd this publication to your clipboard
1Finte Size Universality in the Arts and Sciences
G. Martinez-mekler, G. Cocho, M. Rio, and R. Alvarez. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)
18 years ago by @statphys23
show all tags
symbolic
scaling
maps
finite
modification
topic-11
expansion
distributions
statphys23
dynamics
size
chaotic
rank-size
symbolicscalingmapsfinitemodificationtopic-11expansiondistributionsstatphys23dynamicssizechaoticrank-size
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩

publications (hide)13 displayallpublications onlypublications per page5102050100 sort byadded attitleauthorpublication dateentry typehelp for advanced sorting... RSSBibTeXRDFmore...

related tags

tags

publications (hide)13
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
RSS
BibTeX
RDF
more...