1188 search results - page 75 / 238 » Generating Connectives |
129
Voted
CQRE
1999
Springer
15 years 7 months ago
1999
Springer
The Point-to-Point Tunneling Protocol (PPTP) is used to secure PPP connections over TCP/IP link. In response to [SM98], Microsoft released extensions to the PPTP authentication me...
111
click to vote
GPC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper describes a new approach to implement Web Services in embedded devices connected to Wireless Sensor Networks. The sensor/actuator node is able to process stand...
113
click to vote
TABLEAUX
2000
Springer
15 years 7 months ago
2000
Springer
We present an approach to inductive theorem proving that integrates rippling-based rewriting into matrix-based logical proof search. The selection of appropriate connections in a m...
124
click to vote
AGI
2008
15 years 5 months ago
2008
: Consistent with the ultimate goals of AGI, we can expect that deductive consequences of large and grammatically varied text bases would not be generated by sequential application...
115
click to vote
FLAIRS
2004
15 years 4 months ago
2004
We present a single-layer recurrent neural network that implements novelty detection for spatiotemporal patterns. The architecture is based on the structure of region CA3 in the h...