18209 search results - page 43 / 3642 » Some Remarks on the Paper |
MSS
1999
IEEE
14 years 1 months ago
1999
IEEE
: Several parameters play an important role in the design of tape subsystems. This paper analyzes some of these parameters and their relationships in determining the capacity and t...
TPHOL
1993
IEEE
14 years 27 days ago
1993
IEEE
Mathematical techniques can be used to produce precise, provably complete documentation for computer systems. However, such documents are highly detailed and oversights and other ...
FORMATS
2004
Springer
14 years 15 days ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
AI
2008
Springer
13 years 10 months ago
2008
Springer
Distance semantics is a robust way of handling dynamically evolving and possibly contradictory information. In this paper we show that in many cases distance-based entailments can ...
ACL
2008
13 years 10 months ago
2008
This paper presents an approach to detection of the semantic types of relation arguments employing the WordNet hierarchy. Using the SemEval-2007 data, we show that the method allo...