Sciweavers

8141 search results - page 126 / 1629
» Higher Order Generalization
Sort
View
AMCS
2008
124views Mathematics» more  AMCS 2008»
15 years 3 months ago
Approximate Controllability of Infinite Dimensional Systems of the n-th Order
The objective of the article is to obtain general conditions for several types of controllability at once for an abstract differential equation of arbitrary order, instead of condi...
Jerzy Stefan Respondek
AIPS
1994
15 years 4 months ago
Design Tradeoffs in Partial Order (Plan space) Planning
Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorith...
Subbarao Kambhampati
CC
2003
Springer
250views System Software» more  CC 2003»
15 years 8 months ago
Automatic Detection of Uninitialized Variables
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
Thi Viet Nga Nguyen, François Irigoin, Cori...
99
Voted
ISCAS
2007
IEEE
128views Hardware» more  ISCAS 2007»
15 years 9 months ago
Analysis of Second-Order Modes of Linear Continuous-Time Systems under Positive-Real Transformations
Abstract— This paper discusses the behavior of the secondorder modes of linear continuous-time systems under variable transformations with positive-real functions. We first disc...
Shunsuke Koshita, Yousuke Mizukami, Taketo Konno, ...
ORDER
2010
89views more  ORDER 2010»
15 years 1 months ago
On Order Types of Systems of Segments in the Plane
Let r(n) denote the largest integer such that every family C of n pairwise disjoint segments in the plane in general position has r(n) members whose order type can be represented ...
Andrew Suk