12193 search results - page 255 / 2439 » It's not all about |
176
click to vote
ECAL
2005
Springer
16 years 4 days ago
2005
Springer
This paper is about the design of an artificial neural network to control an autonomous robot that is required to iteratively solve a discrimination task based on time-dependent s...
172
click to vote
CIKM
2005
Springer
16 years 2 days ago
2005
Springer
The paper presents a contribution to image indexing consisting in a weighting model for visible objects – or image objects – in home photographs. To improve its effectiveness ...
177
click to vote
FSE
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. A simple one-way function along with its proposed application in symmetric cryptography is described. The function is computable with three elementary operations on permu...
117
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents an interaction protocol, built on top of FIPA ACL, allowing an agent to delegate a goal to another agent, in the form of a proposition that the delegating agen...
168
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...