|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Wei Li 0022 |
A Logical Framework for Software Testing.  |
TASE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Li 0022 |
R-Calculus: An Inference System for Belief Revision. |
Comput. J. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Xu, Wei Li 0022 |
Many hard examples in exact phase transitions. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Xu, Wei Li 0022 |
On the average similarity degree between solutions of random k-SAT and random CSPs. |
Discrete Applied Mathematics |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Xu, Wei Li 0022 |
Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Wei Li 0022 |
A Development Calculus for Specifications |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Wei Li 0022 |
What Is the Right Logical Framework for Evolution of Knowledge. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Wei Li 0022, Shilong Ma, Yuefei Sui, Ke Xu |
A Logical Framework for Convergent Infinite Computations |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ke Xu, Wei Li 0022 |
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems. |
Ann. Math. Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ke Xu, Wei Li 0022 |
The SAT Phase Transition |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ke Xu, Wei Li 0022 |
On the Average Similarity Degree between Solutions of Random k-SAT and Random CSPs |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ke Xu, Wei Li 0022 |
Exact Phase Transitions in Random Constraint Satisfaction Problems |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ke Xu, Wei Li 0022 |
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ke Xu, Wei Li 0022 |
Exact Phase Transitions in Random Constraint Satisfaction Problems. |
J. Artif. Intell. Res. (JAIR) |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Li 0022 |
A Logical Framework for Inductive Inference and Its Rationality. |
Australian Joint Conference on Artificial Intelligence |
1999 |
DBLP DOI BibTeX RDF |
inductive process, belief revision, knowledge representation and reasoning, inductive reasoning |
| 1 | Xingfu Wu, Wei Li 0022 |
Performance models for scalable cluster computing. |
Journal of Systems Architecture |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Xingfu Wu, Wei Li 0022 |
Scalability of Parallel Algorithm Implementation. |
ISPAN |
1996 |
DBLP DOI BibTeX RDF |
parallel algorithm implementation, iso-overhead, parallel performance measure, scalability, speedup |
| 1 | Wei Li 0022, Ningchuan Shen, Ju Wang |
R-calculus: A Logical Approach for Knowledge Base Maintenance. |
ICTAI |
1994 |
DBLP BibTeX RDF |
|
| 1 | Zuoquan Lin, Wei Li 0022 |
A Note on Tableaux of Logic of Paradox. |
KI |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Li 0022 |
A Logical Framework for Evolution of Specifications. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li 0022 |
W - A Logic System Based on the Shared Common Knowledge Views. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Wei Li 0022 |
A Theory of Requirements Capture and Its Applications. |
TAPSOFT |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Li 0022 |
An Interactive Consistency Maintenance System and Its Logical Framework. |
ICTAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Wei Li 0022 |
Towards a Theory of Epistemic Processes. |
IWAR |
1992 |
DBLP BibTeX RDF |
|
| 1 | Wei Li 0022 |
A Type-Theoretic Approach to Program Development. |
IFIP Congress |
1989 |
DBLP BibTeX RDF |
|
| 1 | Wei Li 0022 |
Implementing first order logic in Modula-2 using an intuitionistic approach. |
ACM Conference on Computer Science |
1988 |
DBLP DOI BibTeX RDF |
Modula-2 |
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")