8486 search results - page 193 / 1698 » Ordered Enumeration Method |
LREC
2008
14 years 5 days ago
2008
Case frames are an important knowledge base for a variety of natural language processing (NLP) systems. For the practical use of these systems in the real world, wide-coverage cas...
IRMA
2000
14 years 2 days ago
2000
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...
ENTCS
2002
13 years 10 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
SIAMNUM
2011
13 years 5 months ago
2011
The paper presents a generalization of Arnold-Falk-Winther elements for linear elasticity, to meshes with elements of variable order. The generalization is straightforward but the ...
ASPDAC
2010
ACM
13 years 8 months ago
2010
ACM
In this paper, we propose a new wideband model order reduction method for interconnect circuits by using a novel adaptive sampling and error estimation scheme. We try to address t...