Sciweavers

2088 search results - page 1 / 418
» The SPARK Agent Framework
Sort
View
ATAL
2004
Springer
13 years 10 months ago
The SPARK Agent Framework
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
David N. Morley, Karen L. Myers
ICIP
2007
IEEE
14 years 6 months ago
Joint Localization and Parameter Estimation for Localized Calcium Release Events in Video Microscopy
This paper addresses modeling and inference for localized calcium release events observed in cardiac muscle tissue known as sparks, a recently discovered and little-understood phe...
Benjamin P. Olding, Patrick J. Wolfe
ATAL
2008
Springer
13 years 7 months ago
A context-aware personal desktop assistant
We demonstrate an intelligent personal assistant agent that has been developed to aid a busy knowledge worker in managing time commitments and performing tasks. The PExA agent dra...
Hung Hai Bui, Federico Cesari, Daniel Elenius, Dav...
FM
2008
Springer
130views Formal Methods» more  FM 2008»
13 years 6 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...