Sciweavers

3335 search results - page 66 / 667
» A Unified Approach to Modeling and Programming
Sort
View
ICRA
2007
IEEE
127views Robotics» more  ICRA 2007»
16 years 28 days ago
A Dynamic Programming Approach to Redundancy Resolution with Multiple Criteria
— This paper addresses the problem of generating optimal joint trajectories for redundant manipulators when multiple criteria are to be considered. A dynamic programming approach...
A. Guigue, Mojtaba Ahmadi, M. J. D. Hayes, R. Lang...
DALT
2005
Springer
16 years 2 days ago
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
Kaiyu Wan, Vasu S. Alagar
TAPSOFT
1997
Springer
15 years 10 months ago
A Type-Based Approach to Program Security
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
Dennis M. Volpano, Geoffrey Smith
COMMA
2008
15 years 8 months ago
A Level-based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is an argumentation framework based on logic programming which incorporates a treatment of possibilistic uncertainty a...
Teresa Alsinet, Carlos Iván Chesñeva...
IWANN
1995
Springer
15 years 10 months ago
An Application of the Saturated Attractor Analysis to Three Typical Models
The saturated attractor analysis, an approach proposed first in [FP] for a comprehensive study of the dynamics of the Linsker model and then successfully applied to the dynamic li...
Jianfeng Feng, Brunello Tirozzi