Sciweavers

5896 search results - page 415 / 1180
» On Learning with Integral Operators
Sort
View
ECAI
2000
Springer
15 years 11 months ago
Intention Reconsideration in Theory and Practice
Abstract. Autonomous agents operating in complex dynamic environments need the ability to integrate robust plan execution with higher level reasoning. This paper describes work to ...
Simon Parsons, Ola Pettersson, Alessandro Saffiott...
UIST
1998
ACM
15 years 11 months ago
The Music Notepad
We present a system for entering common music notation based on 2D gestural input. The key feature of the system is the look-and-feel of the interface which approximates sketching...
Andrew S. Forsberg, Mark Dieterich, Robert C. Zele...
PADL
2000
Springer
15 years 10 months ago
A Logic-Based Information System
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
Salvador Abreu
ISCAS
1995
IEEE
102views Hardware» more  ISCAS 1995»
15 years 10 months ago
Log-Domain Filters Based on LC Ladder Synthesis
Abstract. A design method is proposed for the synthesis of linear, high-order, continuous-time filters using a unique translinear integrator circuit. Unlike previous attempts at i...
D. Perry, Gordon W. Roberts
ECOWS
2008
Springer
15 years 8 months ago
Validating Orchestration of Web Services with BPEL and Aggregate Signatures
In this paper, we present a framework providing integrity and authentication for secure workflow computation based on BPEL Web Service orchestration. We address a recent cryptogra...
Carlo Blundo, Emiliano De Cristofaro, Clemente Gal...