1578 search results - page 127 / 316 » Induction of Stable Models |
OOIS
2001
Springer
14 years 2 months ago
2001
Springer
A model-driven reuse approach that is based on an organization’s Enterprise Architecture (EA) and on the Unified Modeling Language (UML) is proposed. The framework embodying th...
IROS
2008
IEEE
14 years 4 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...
EPIA
2007
Springer
14 years 4 months ago
2007
Springer
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
DAC
2010
ACM
14 years 2 months ago
2010
ACM
In this paper we summarize recent developments in compact dynamical modeling for both linear and nonlinear systems arising in analog applications. These techniques include methods...
FORMATS
2007
Springer
14 years 2 months ago
2007
Springer
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...