6306 search results - page 312 / 1262 » Space, Time, and the Use of Language |
223
click to vote
IJCAI
2001
15 years 8 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
232
Voted
EUROMICRO
2009
IEEE
16 years 2 months ago
2009
IEEE
—Real-time systems are increasingly used in dynamic changing environments with variable user needs, hosting real-time applications ranging in number and nature. This paper propos...
187
click to vote
ICALP
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
194
Voted
ICANN
2001
Springer
15 years 12 months ago
2001
Springer
This paper studies the use of discrete-time recurrent neural networks for predicting the next symbol in a sequence. The focus is on online prediction, a task much harder than the c...
217
click to vote
ISORC
1998
IEEE
15 years 11 months ago
1998
IEEE
Many engineers are still reluctant to adopt advanced object-oriented technologies (such as high modularity, dynamic binding, automatic garbage collection, etc.) for embedded syste...