2162 search results - page 312 / 433 » Automated Reasoning on Feature Models |
176
click to vote
WWW
2011
ACM
14 years 11 months ago
2011
ACM
In this paper, we study the problem of transfer learning from text to images in the context of network data in which link based bridges are available to transfer the knowledge bet...
141
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Our goal is to enable rapid production of static and dynamic object models from natural language description of problems. Rapid modeling is achieved through automation of analysis...
175
click to vote
SOSYM
2002
15 years 4 months ago
2002
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
153
click to vote
TLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
118
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...