5510 search results - page 363 / 1102 » Mathematics |
171
click to vote
JSS
1998
15 years 6 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
215
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
We present a way to add user's background knowledge to formal concept analysis. The type of background knowledge we deal with relates to relative importance of attributes in ...
221
click to vote
GPEM
2010
15 years 5 months ago
2010
Abstract Self-Modifying Cartesian Genetic Programming (SMCGP) is a general purpose, graph-based, developmental form of Genetic Programming founded on Cartesian Genetic Programming....
200
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
— Partially Observable Markov Decision Processes (POMDPs) offer a powerful mathematical framework for making optimal action choices in noisy and/or uncertain environments, in par...
184
click to vote
ITP
2010
15 years 5 months ago
2010
eXtensible Business Reporting Language (XBRL) presents new opportunities for integrating information flow within communities of diverse organisations thereby significantly enhanci...