1548 search results - page 172 / 310 » Computational Approaches to Sentence Completion |
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
EUROPAR
2003
Springer
14 years 2 months ago
2003
Springer
Partial redundancy elimination (PRE) techniques play an important role in optimizing compilers. Many optimizations, such as elimination of redundant expressions, communication opti...
SIGIR
1998
ACM
14 years 1 months ago
1998
ACM
Most casual users of IR systems type short queries. Recent research has shown that adding new words to these queries via adhoc feedback improves the retrieval e ectiveness of such ...
ESORICS
2007
Springer
14 years 25 days ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
FUZZIEEE
2007
IEEE
14 years 24 days ago
2007
IEEE
Abstract-- This paper presents a comparison of three different design concepts for Genetic Fuzzy systems. We apply a Symbiotic Evolution that uses the Michigan approach and two app...