317 search results - page 49 / 64 » A PROLOG-based Approach to Representing and Querying Softwar... |
AAAI
2008
15 years 2 days ago
2008
Search engines present fix-length passages from documents ranked by relevance against the query. In this paper, we present and compare novel, language-model based methods for extr...
105
click to vote
ECBS
1999
IEEE
15 years 2 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
VMCAI
2005
Springer
15 years 3 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
104
click to vote
ICAT
2003
IEEE
15 years 3 months ago
2003
IEEE
Forest resource management systems and forest landscape visualization applications often need usersteered interactive displays of a forest landscape representing the underlying fo...
INFSOF
2008
14 years 9 months ago
2008
Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. Various software artifacts can be generated...