1536 search results - page 258 / 308 » The Underlying Logic of Hoare Logic |
166
click to vote
FPGA
2008
ACM
15 years 7 months ago
2008
ACM
Current advances in chip design and manufacturing have allowed IC manufacturing to approach the nanometer range. As the feature size scales down, greater variability is experience...
160
click to vote
ACL
2007
15 years 7 months ago
2007
Deriving the polarity and strength of opinions is an important research topic, attracting significant attention over the last few years. In this work, to measure the strength and...
179
click to vote
MIE
2008
15 years 7 months ago
2008
The Gene Regulation Ontology (GRO) is designed as a novel approach to model complex events that are part of the gene regulatory processes. We introduce the design requirements for ...
158
click to vote
OWLED
2008
15 years 7 months ago
2008
We present the latest release of the Ontology Pre-Processor Language, a language for querying and modifying Description Logic knowledge bases expressed in OWL. We briefly describe ...
165
click to vote
ERSA
2004
15 years 7 months ago
2004
Platform FPGAs incorporate many different components, such as processor core(s), reconfigurable logic, memory, etc., onto a single chip. When an application is synthesized on platf...