599 search results - page 77 / 120 » Type System for Specializing Polymorphism |
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
— The paper explains the basic ideas of how to model the dynamical properties of switched DC-DC converters by means of the so-called generalized transfer functions (GTFs). Switch...
DOLAP
2006
ACM
14 years 1 months ago
2006
ACM
Multidimensional modeling requires specialized design techniques. Though a lot has been written about how a data warehouse should be designed, there is no consensus on a design me...
AOSE
2005
Springer
14 years 1 months ago
2005
Springer
Changes and adaptations are always necessary after the deployment of a multiagent system (MAS), as well as of any other type of software systems. Some of these changes may be simpl...
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
EKAW
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes a particular knowledge acquisition tool for the construction and maintenance of the knowledge model of an intelligent system for emergency management in the fi...