|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zhaoxia Wang, Jianmin Wang 0001, Lijie Wen, Guiming Luo |
Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL.  |
ICEIS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jilong Wang, Guiming Luo, Bingsheng Wang |
Argumentation framework with weighted argument structure. |
IEEE ICCI*CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Luo, Guiming Luo, Yang Zhao |
Satisfiability degree computation for linear temporal logic. |
IEEE ICCI*CC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Luo, Guiming Luo, Mo Xia |
An Algorithm for Satisfiability Degree Computation. |
IJCCI (ECTA-FCTA) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jian Luo, Guiming Luo, Mo Xia |
Satisfiability Degree Theory for Temporal Logic. |
IJCCI (ECTA-FCTA) |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang |
PLC Modeling and Checking Based on Formal Method. |
JSEA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yulai Zhang, Guiming Luo |
Adaptive Signal Processing for ARX System Disturbed by Complex Noise. |
AICI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Zhao, Guiming Luo |
Satisfiability Degree Analysis for Transition System. |
AICI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Luo, Guiming Luo |
Proposition matrix search algorithm for satisfiability degree computation. |
IEEE ICCI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Fan, Guiming Luo |
Frisch scheme identification for Errors-in-Variables systems. |
IEEE ICCI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunlong Wang, Guiming Luo |
Generic cabling with restrictions based on ant colony algorithm. |
IEEE ICCI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bingsheng Wang, Guiming Luo |
Extend argumentation frameworks based on degree of attack. |
IEEE ICCI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Hu, Guiming Luo, Chongyuan Yin |
Computation of Satisfiability Degree Based on CNF. |
FSKD |
2009 |
DBLP DOI BibTeX RDF |
satisfiability degree computation, horn abduction, CNF |
| 1 | Chongyuan Yin, Guiming Luo, Pei Hu |
Backtracking Search Algorithm for Satisfiability Degree Calculation. |
FSKD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | GuiMing Luo, Jian Huang |
Recursive algorithm for the two-stage EFOP estimation method. |
Science in China Series F: Information Sciences |
2008 |
DBLP DOI BibTeX RDF |
EFOP estimation, two-stage EFOP, recursive algorithm, Black-box models |
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")