Sciweavers

7918 search results - page 265 / 1584
» Model Composition Directives
Sort
View
118
Voted
KR
2004
Springer
15 years 9 months ago
Parthood as Spatial Inclusion - Evidence from biomedical Conceptualizations
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...
Stefan Schulz, Udo Hahn
ICLP
1992
Springer
15 years 8 months ago
A Declarative View of Inheritance in Logic Programming
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
Michele Bugliesi
153
Voted
ESOP
2006
Springer
15 years 7 months ago
Types for Dynamic Reconfiguration
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
João Costa Seco, Luís Caires
SFP
2004
15 years 5 months ago
Disjoint forms in graphical user interfaces
Abstract: Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (struc...
Sander Evers, Peter Achten, Rinus Plasmeijer
ESANN
1998
15 years 5 months ago
A neural approach to a sensor fusion problem
Our problem concerns the joint interpretation of UltraSonic and InfraRed measurements provided by a composite proximity sensor, in order to extract geometrical and morphological f...
Valentina Colla, Mirko Sgarbi, Leonardo Maria Reyn...