7820 search results - page 246 / 1564 » Formalization of Time and Space |
188
click to vote
CEC
2005
IEEE
16 years 26 days ago
2005
IEEE
Information distance is used to measure how similar sensorimotor experience is to past experience within a certain temporal horizon. Applied to groups of sensors this gives a mathe...
158
click to vote
AIPS
2000
15 years 8 months ago
2000
On May 17th 1999, NASA activated for the first time an AI-based planner/scheduler running on the flight processor of a spacecraft. This was part of the Remote Agent Experiment (RA...
211
click to vote
ML
2002
ACM
15 years 7 months ago
2002
ACM
The choice of the kernel function is crucial to most applications of support vector machines. In this paper, however, we show that in the case of text classification, term-frequenc...
238
click to vote
MOC
1998
15 years 6 months ago
1998
We present a new algorithm for computing the structure of a finite abelian group, which has to store only a fixed, small number of group elements, independent of the group order....
198
click to vote
CSFW
2009
IEEE
16 years 2 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...