Sciweavers

800 search results - page 57 / 160
» Towards a formalization of budgets
Sort
View
INTERFACES
2008
128views more  INTERFACES 2008»
14 years 11 months ago
Relevance to Practice and Auction Theory: A Memorial Essay for Michael Rothkopf
re more abstract than necessary. They depend on assumptions that are highly unlikely to occur in practical situations, which are often less formal and rigid. Nonetheless, we discus...
Ronald M. Harstad, Aleksandar Sasa Pekec
JETAI
2007
131views more  JETAI 2007»
14 years 11 months ago
A computational architecture for heterogeneous reasoning
Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...
Dave Barker-Plummer, John Etchemendy
ASWEC
2008
IEEE
15 years 5 months ago
Experiences on the Belief-Theoretic Integration of Para-consistent Conceptual Models
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
Ebrahim Bagheri, Ali A. Ghorbani
AGTIVE
2007
Springer
15 years 3 months ago
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...
Gabriele Taentzer, Dirk Müller 0002, Tom Mens
MICAI
2000
Springer
15 years 2 months ago
A Neurocontrol Scheme of a 2-DOF Manipulator Using CMAC
Artificial Neural Networks (ANN) are an emerging technology, yet, in continuous dynamic behavior, much work has been done to attempt to generate a formal method to design a contro...
Raúl Leal Ascencio, Marco A. Pérez C...