9490 search results - page 466 / 1898 » Slow Intelligence Systems |
189
click to vote
AMI
2009
Springer
16 years 1 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...
160
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
190
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recently there has been significant interest in evolving genetic regulatory networks with a user-determined behaviour. It is unclear whether or not artificial evolution of bi...
182
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
- The paper describes further research relating to an Interactive Evolutionary Design system (IEDS) with emphasis upon extending it to support free-form design. A generative feedba...
154
click to vote
HOLOMAS
2007
Springer
16 years 1 months ago
2007
Springer
We present a formal approach to conception of a dedicated security infrastructure based on the exception handling in the protected agents. Securityrelated exceptions are identifie...