|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Junping Zhou, Minghao Yin, Xiangtao Li, Jinyan Wang |
Phase Transitions of EXPSPACE-Complete Problems: a Further Step.  |
Int. J. Found. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Junping Zhou, Minghao Yin |
The Worst-Case Upper Bound for Exact 3-Satisfiability with the Number of Clauses as the Parameter. |
FAW-AAIM |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghao Yin, Yanmei Hu, Fengqin Yang, Xiangtao Li, Wenxiang Gu |
A novel hybrid K-harmonic means and gravitational search algorithm approach for clustering. |
Expert Syst. Appl. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghao Yin, Jin Zhang, Hongguang Sun, Wenxiang Gu |
Multi-cue-based CamShift guided particle filter tracking. |
Expert Syst. Appl. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghao Yin, Ping Huang |
Counting Solutions of Constraint Satisfiability Problems:Exact Phase Transitions and Approximate Algorithm |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jian Gao, Minghao Yin, Junping Zhou |
Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Junping Zhou, Minghao Yin |
New Worst-Case Upper Bound for X3SAT |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Minghao Yin |
Worst-Case Upper Bound for (1, 2)-QSAT |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jian Gao, Minghao Yin, Ke Xu |
Phase Transitions in Knowledge Compilation: an Experimental Study |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Junping Zhou, Minghao Yin |
New Worst-Case Upper Bound for #XSAT |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jinyan Wang, Minghao Yin, Wenxiang Gu |
Soft polygroups. |
Computers & Mathematics with Applications |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangtao Li, Jinyan Wang, Junping Zhou, Minghao Yin |
A perturb biogeography based optimization with mutation for global numerical optimization. |
Applied Mathematics and Computation |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Gao, Minghao Yin, Ke Xu |
Phase Transitions in Knowledge Compilation: An Experimental Study. |
SAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ping Huang, Minghao Yin, Ke Xu |
Exact Phase Transitions and Approximate Algorithm of #CSP. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yanmei Hu, Minghao Yin, Dunbo Cai |
On the Discovery and Utility of Precedence Constraints in Temporal Planning. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jian Gao, Minghao Yin, Junping Zhou |
Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Junping Zhou, Ping Huang, Minghao Yin, Chunguang Zhou |
Phase Transitions of EXPSPACE-Complete Problems. |
Int. J. Found. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Junping Zhou, Minghao Yin |
Phase Transitions of Plan Modification in Conformant Planning |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Junping Zhou, Minghao Yin, Chunguang Zhou |
New worst upper bound for #SAT |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Minghao Yin, Tingting Zou, Wenxiang Gu, Jianan Wang |
Product structure of the fuzzy n-ary factor polygroup. |
Computers & Mathematics with Applications |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangtao Li, Jianan Wang, Junping Zhou, Minghao Yin |
An effective GSA based memetic algorithm for permutation flow shop scheduling. |
IEEE Congress on Evolutionary Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Junping Zhou, Minghao Yin, Chunguang Zhou |
New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as the Parameter. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lian Shi, Jigui Sun, Shuai Lu, Minghao Yin |
Flexible planning using fuzzy description logics: Theory and application. |
Appl. Soft Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dunbo Cai, Jigui Sun, Minghao Yin |
Conformant Planning Heuristics Based on Plan Reuse in Belief States. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jigui Sun, Minghao Yin |
Recognizing the agent's goals incrementally: planning graph as a basis. |
Frontiers of Computer Science in China |
2007 |
DBLP DOI BibTeX RDF |
Graphplan, constraints, plan recognition, automated planning |
| 1 | Minghao Yin, Jigui Sun |
Extension or Resolution: A Novel Approach for Reasoning in Possibilistic Logic. |
Analysis and Design of Intelligent Systems using Soft Computing Techniques |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lian Shi, Jigui Sun, Shuai Lu, Minghao Yin |
Flexible Planning Using Fuzzy Description Logics. |
IC-AI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jingjing Zhao, Jigui Sun, Minghao Yin |
Translating PDDL Tasks into Multi-valued Conformant Planning Tasks. |
FSKD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tian Liang, Jigui Sun, Minghao Yin |
Improving the Convergence of RTDP. |
FSKD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghao Yin, Jianan Wang, Wenxiang Gu |
Solving Planning Under Uncertainty: Quantitative and Qualitative Approach. |
IFSA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghao Yin, Hai Lin 0005, Jigui Sun |
Counting Models using Extension Rules. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Xia Wu, Jigui Sun, Shuai Lu, Ying Li, Wei Meng, Minghao Yin |
Improved Propositional Extension Rule. |
RSKT |
2006 |
DBLP DOI BibTeX RDF |
Extension rule, reduced rule, theorem proving, propositional logic |
| 1 | Shulin Cui, Jigui Sun, Minghao Yin, Shuai Lu |
Solving Uncertain Markov Decision Problems: An Interval-Based Method. |
ICNC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Minghao Yin, Wenxiang Gu, Yinghua Lu |
Flexible Goal Recognition via Graph Construction and Analysis. |
FSKD |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")