Sciweavers

6881 search results - page 176 / 1377
» Motivation
Sort
View
AUSAI
2006
Springer
15 years 9 months ago
An Analysis of Three Puzzles in the Logic of Intention
In this paper, we generalize our formal approach to modelling PRS agents away from PRS-specific assumptions to more general theories of rationality, while not losing the concretene...
Wayne Wobcke
CAAN
2006
Springer
15 years 9 months ago
Scheduling of a Smart Antenna: Capacitated Coloring of Unit Circular-Arc Graphs
We consider scheduling problems that are motivated by an optimization of the transmission schedule of a smart antenna. In these problems we are given a set of messages and a confl...
Guy Even, Shimon Shahar
CAISE
2006
Springer
15 years 9 months ago
VisAVis: An Approach to an Intermediate Layer between Ontologies and Relational Database Contents
This paper introduces an approach to mapping relational database contents to ontologies. The current effort is motivated by the need of including into the Semantic Web volumes of w...
Nikolaos Konstantinou, Dimitrios-Emmanuel Spanos, ...
DATE
2004
IEEE
108views Hardware» more  DATE 2004»
15 years 9 months ago
Poor Man's TBR: A Simple Model Reduction Scheme
This paper presents a model reduction algorithm motivated by a connection between frequency domain projection methods and approximation of truncated balanced realizations. The met...
Joel R. Phillips, Luis Miguel Silveira
154
Voted
DFG
2004
Springer
15 years 9 months ago
A Formal Component Concept for the Specification of Industrial Control Systems
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
Benjamin Braatz, Markus Klein, Gunnar Schröte...