Sciweavers

2670 search results - page 358 / 534
» Modeling systems with internal state using evolino
Sort
View
CLUSTER
2006
IEEE
15 years 6 months ago
Distributed File System Virtualization Techniques Supporting On-Demand Virtual Machine Environments for Grid Computing
This paper presents a data management solution which allows fast Virtual Machine (VM) instantiation and efficient run-time execution to support VMs as execution environments in Gri...
Ming Zhao 0002, Jian Zhang 0005, Renato J. O. Figu...
AGENTS
1998
Springer
15 years 10 months ago
Cognition and Affect: Architectures and Tools
Which agent architectures are capable of justifying descriptions in terms of the `higher level' mental concepts applicable to human beings? We propose a new kind of architect...
Aaron Sloman, Brian Logan
SERP
2003
15 years 7 months ago
A Process for BDI Agent-Based Software Construction
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
Chang-Hyun Jo, Jeffery M. Einhorn
ISCAS
1999
IEEE
93views Hardware» more  ISCAS 1999»
15 years 10 months ago
Probability distribution of the switching intervals in chaotic pulse streams-a comparative study
In switched dynamic system the continuous phase ow is accompanied by a stream of switching events. If the system exhibits chaotic behavior this event stream can be used for gener...
T. Tsubone, T. Saito, Wolfgang M. Schwarz
FMICS
2007
Springer
16 years 17 days ago
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. va...