6434 search results - page 1112 / 1287 » Model Transformations with Reference Models |
127
Voted
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
162
click to vote
DEXAW
2010
IEEE
15 years 3 months ago
2010
IEEE
— One of the central issues in Learning to Rank (L2R) for Information Retrieval is to develop algorithms that construct ranking models by directly optimizing evaluation measures ...
152
click to vote
ICECCS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based inter...
130
click to vote
AIS
2007
Springer
15 years 3 months ago
2007
Springer
We address the relationship between a music performer and her instrument as a possible model for re-thinking wearable technologies. Both musical instruments and textiles invite pa...
113
click to vote
ARTMED
2008
15 years 3 months ago
2008
The problem of consciousness has captured the imagination of philosophers, neuroscientists, and the general public, but has received little attention within AI. However, concepts ...