Sciweavers

2096 search results - page 193 / 420
» Structured Parameter Elicitation
Sort
View
ATAL
2003
Springer
15 years 9 months ago
Deriving individual obligations from collective obligations
A collective obligation is an obligation directed to a group of agents so that the group, as a whole, is obliged to achieve a given task. The problem investigated here is the impac...
Laurence Cholvy, Christophe Garion
CDC
2009
IEEE
149views Control Systems» more  CDC 2009»
15 years 9 months ago
Solving large-scale linear circuit problems via convex optimization
Abstract— A broad class of problems in circuits, electromagnetics, and optics can be expressed as finding some parameters of a linear system with a specific type. This paper is...
Javad Lavaei, Aydin Babakhani, Ali Hajimiri, John ...
ICRA
2000
IEEE
85views Robotics» more  ICRA 2000»
15 years 8 months ago
Neural Network Controller for Constrained Robot Manipulators
In this paper, a neural network controller for constrained robot manipulators is presented. A feedforward neural network is used to adaptively compensate for the uncertainties in ...
Shenghai Hu, Marcelo H. Ang, Hariharan Krishnan
CIKM
1998
Springer
15 years 8 months ago
Efficient Enumeration of Frequent Sequences
In this paper we present SPADE, a new algorithm for fast discovery of Sequential Patterns. The existing solutions to this problem make repeated database scans, and use complex has...
Mohammed Javeed Zaki
ECSQARU
1997
Springer
15 years 8 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...