7956 search results - page 288 / 1592 » Into the Future |
175
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
We investigate the improvement of theorem proving by reusing previously computed proofs. We have developed and implemented the PLAGIATOR system which proves theorems by mathematic...
149
click to vote
ECR
2002
15 years 6 months ago
2002
The understanding of consumer interaction with online EC Websites is one of the big current challenges for online marketers. The present paper investigates what drives and impedes...
151
click to vote
ETT
2002
15 years 6 months ago
2002
In this paper, both the concept and the demonstrator implementation of an advanced airport data link is described which is used for data exchange between pilots and controllers in ...
154
click to vote
NPL
2000
15 years 6 months ago
2000
In standard neuro-evolution, a population of networks is evolved in a task, and the network that best solves the task is found. This network is then fixed and used to solve future...
153
click to vote
FMSD
2002
15 years 6 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...