Sciweavers

2299 search results - page 48 / 460
» Logical Data Expiration
Sort
View
114
Voted
IS
2012
13 years 8 months ago
View determinacy for preserving selected information in data transformations
When transforming data one often wants certain information in the data source to be preserved, i.e., we identify parts of the source data and require these parts to be transformed...
Wenfei Fan, Floris Geerts, Lixiao Zheng
107
Voted
BMCBI
2007
109views more  BMCBI 2007»
15 years 19 days ago
A cis-regulatory logic simulator
Background: A major goal of computational studies of gene regulation is to accurately predict the expression of genes based on the cis-regulatory content of their promoters. The d...
Robert D. Zeigler, Jason Gertz, Barak A. Cohen
FPL
2003
Springer
113views Hardware» more  FPL 2003»
15 years 5 months ago
Data Dependent Circuit Design: A Case Study
Abstract. Data dependent circuits are logic circuits specialized to specific input data. They are smaller and faster than the original circuits, although they are not reusable and...
Shoji Yamamoto, Shuichi Ichikawa, Hiroshi Yamamoto
94
Voted
FSEN
2007
Springer
15 years 6 months ago
Hoare Logic for ARM Machine Code
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
Magnus O. Myreen, Anthony C. J. Fox, Michael J. C....
97
Voted
SEMWEB
2007
Springer
15 years 6 months ago
Logical Foundations of (e)RDF(S): Complexity and Reasoning
Abstract. An important open question in the semantic Web is the precise relationship between the RDF(S) semantics and the semantics of standard knowledge representation formalisms ...
Jos de Bruijn, Stijn Heymans