883 search results - page 56 / 177 » The Semantics of Verilog Using Transition System Combinators |
VL
1999
IEEE
14 years 1 months ago
1999
IEEE
Spider diagrams combine and extend Venn diagrams and Euler circles to express constraints on sets and their relationships with other sets. These diagrams can usefully be used in c...
DNA
2011
Springer
12 years 9 months ago
2011
Springer
Several molecular systems form large-scale objects. One would like to understand their assembly and how this assembly is regulated. As a first step, we investigate the phase trans...
ECIR
2009
Springer
13 years 7 months ago
2009
Springer
Abstract. We propose in this paper to use NLP approaches to validate induced syntactic relations. We focus on a Web Validation system, a Semantic Vector-based approach, and finally...
ACL
2006
13 years 10 months ago
2006
This paper proposes a knowledge representation model and a logic proving setting with axioms on demand successfully used for recognizing textual entailments. It also details a lex...
ICDE
2007
IEEE
14 years 10 months ago
2007
IEEE
We present a system that optimizes sequences of related client requests by combining small requests into larger ones, thus reducing per-request overhead. The system predicts upcom...