Sciweavers

2143 search results - page 145 / 429
» Linking Representation with Meaning
Sort
View
AIMSA
2004
Springer
15 years 12 months ago
Adoption of the Classical Theory of Definition to Ontology Modeling
Ontology modeling requires modeling languages expressive enough to represent various definition types. A definition type which seems to be of particular significance is that provid...
Patryk Burek
ATAL
2004
Springer
15 years 12 months ago
Graphical Models in Local, Asymmetric Multi-Agent Markov Decision Processes
In multi-agent MDPs, it is generally necessary to consider the joint state space of all agents, making the size of the problem and the solution exponential in the number of agents...
Dmitri A. Dolgov, Edmund H. Durfee
ICSR
2004
Springer
15 years 12 months ago
Developing Active Help for Framework Instantiation Through Case-Based Reasoning
Object-oriented frameworks are sophisticated software artifacts that significantly impact productivity when building applications in a given domain. However, frameworks are complex...
Carlos Fernández-Conde, Pedro A. Gonz&aacut...
WORDS
2003
IEEE
15 years 11 months ago
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must...
Jan Gustafsson, Björn Lisper, Christer Sandbe...
EMMCVPR
2003
Springer
15 years 11 months ago
Geometric Analysis of Continuous, Planar Shapes
Abstract. We propose two differential geometric representations of planar shapes using: (i) direction functions and (ii) curvature functions, of their boundaries. Under either rep...
Anuj Srivastava, Washington Mio, Eric Klassen, Sha...