434 search results - page 39 / 87 » Embedded Intelligence |
ECAL
2003
Springer
15 years 4 months ago
2003
Springer
In this paper we consider a multi-cellular sensing and communication network, embedded in an ageless aerospace vehicle, that is expected to detect and react to impact location, int...
ITP
2010
15 years 3 months ago
2010
Abstract. We present a new scheme to translate mathematical developments from HOL Light to Coq, where they can be re-used and rechecked. By relying on a carefully chosen embedding ...
AIIA
2009
Springer
15 years 5 months ago
2009
Springer
With traditional Question Answering (QA) systems having reached nearly satisfactory performance, an emerging challenge is the development of successful Interactive Question Answeri...
AMI
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
CEC
2008
IEEE
15 years 5 months ago
2008
IEEE
—Inspired by the contours in topography, this paper proposes a contour method for the population-based stochastic algorithms to solve the problems with continuous variables. Rely...