3428 search results - page 581 / 686 » Making the Case |
179
click to vote
AINTEC
2007
Springer
16 years 13 days ago
2007
Springer
With the tremendous growth of World Wide Web (WWW), the door has been opened to a multitude of services and information for even the most casual of users. Today, many wireless and ...
166
click to vote
ATAL
2007
Springer
16 years 12 days ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...
180
click to vote
ATAL
2007
Springer
16 years 12 days ago
2007
Springer
Activity recognition is a key component for creating intelligent, multi-agent systems. Intrinsically, activity recognition is a temporal classification problem. In this paper, we...
181
click to vote
ATAL
2007
Springer
16 years 12 days ago
2007
Springer
To cope with large scale, agents are usually organized in a network such that an agent interacts only with its immediate neighbors in the network. Reinforcement learning technique...
169
click to vote
CADE
2007
Springer
16 years 12 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...