426 search results - page 30 / 86 » Possibilistic Stable Model Computing |
DAC
2005
ACM
14 years 8 months ago
2005
ACM
In this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation ...
ASP
2001
Springer
14 years 7 days ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...
ASPDAC
1999
ACM
14 years 1 days ago
1999
ACM
A method is introduced for model order reduction of large circuits extracted from layout. The algorithm, which is based on balanced realization, can be used for reducing the order ...
ICSEA
2009
IEEE
14 years 2 months ago
2009
IEEE
— In the context of service-oriented computing, services provide the capabilities necessary to support the business, especially its processes. Within the service modeling process...
IROS
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper is concerned with the use of a spherical projection model to design optimal visual features for visual servoing. Here two special targets are considered: a sphere ma...