1341 search results - page 149 / 269 » Logic for Modeling Product Structure |
130
Voted
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
131
click to vote
ISVC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The function of a protein is dependent on whether and how it can interact with various ligands. Therefore, an accurate prediction of protein-ligand interactions is paramo...
125
click to vote
DLOG
2007
15 years 5 months ago
2007
Enabling the Semantic Web requires solving the semantic heterogeneity problem, for which ontology matching methods have been proposed. These methods rely on similarity measures tha...
140
Voted
ECBS
2008
IEEE
15 years 5 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
136
Voted
GISCIENCE
2008
Springer
15 years 4 months ago
2008
Springer
Road networks, roads, and junctions are examples of natural language terms whose semantics can be described by affordances of their physical referents. In order to define affordanc...