2362 search results - page 410 / 473 » A General Language Model for Information Retrieval |
129
Voted
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
130
click to vote
APLAS
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...
132
Voted
AAAI
2007
15 years 6 months ago
2007
We propose a general framework for multi-context reasoning which allows us to combine arbitrary monotonic and nonmonotonic logics. Nonmonotonic bridge rules are used to specify th...
148
Voted
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...
148
Voted
AFRIGRAPH
2007
ACM
15 years 7 months ago
2007
ACM
Nowadays, many commercial CAD systems are built on proprietary geometric kernels which provide an API containing a set of high level geometric operations (boolean operations, slot...