189 search results - page 26 / 38 » Dynamic normal forms and dynamic characteristic polynomial |
CSB
2005
IEEE
15 years 5 months ago
2005
IEEE
Human crooked neck protein (hcrn) containing 17 HAT or TPR repeats plays a role in pre-mRNA processing. Conserved residues in the TPR consensus sequence of 34 aa were found at hel...
ICPP
2003
IEEE
15 years 5 months ago
2003
IEEE
Hardware prefetching is a simple and effective technique for hiding cache miss latency and thus improving the overall performance. However, it comes with addition of prefetch buff...
ICCAD
2001
IEEE
15 years 8 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
VR
2000
IEEE
15 years 4 months ago
2000
IEEE
Virtual Reality has undergone a transition in the past few years that has taken from the realm of expensive toy into that of functional technology. This emerging computer-driven s...
TREC
2007
15 years 28 days ago
2007
In this paper we present a system which uses ontological resources and a gene name variation generation tool to expand concepts in the original query. The novelty of our approach ...