Search Sciweavers | Sciweavers

14 search results - page 1 / 3

» ictai 1999

click to vote

ICTAI
1999
IEEE

89views Artificial Intelligence» more ICTAI 1999»

Solving Hard Satisfiability Problems: A Unified Algorithm Based on Discrete Lagrange Multipliers

13 years 8 months ago

Download manip.crhc.uiuc.edu

Zhe Wu, Benjamin W. Wah

claim paper

Read More »

click to vote

ICTAI
1999
IEEE

119views Artificial Intelligence» more ICTAI 1999»

Mining Typhoon Knowledge with Neural Networks

13 years 8 months ago

Download cs.nju.edu.cn

Zhi-Hua Zhou, Shifu Chen, Zhaoqian Chen

claim paper

Read More »

click to vote

ICTAI
1999
IEEE

90views Artificial Intelligence» more ICTAI 1999»

Towards a Computationally Intelligent Lesson Adaptation for a Distance Learning Course

13 years 8 months ago

Download www.dcs.bbk.ac.uk

George D. Magoulas, Kyparisia A. Papanikolaou, Mar...

claim paper

Read More »

click to vote

ICTAI
1999
IEEE

88views Artificial Intelligence» more ICTAI 1999»

VERITAS - An Application for Knowledge Verification

13 years 8 months ago

Download www.dei.isep.ipp.pt

Jorge Santos, Carlos Ramos, Zita A. Vale, Albino M...

claim paper

Read More »

click to vote

ICTAI
1999
IEEE

95views Artificial Intelligence» more ICTAI 1999»

On the Fine Structure of Large Search Spaces

13 years 8 months ago

Download www.cs.cornell.edu

Recently there has been significant progress in our understanding of the computational nature of combinatorial problems. Randomized search methods, both complete and incomplete, o...

Carla P. Gomes, Bart Selman

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers