3119 search results - page 430 / 624 » General Default Logic |
200
click to vote
GLVLSI
2003
IEEE
16 years 11 days ago
2003
IEEE
We present a unique FPGA that uses a mix of digital and large-signal analog computation for the simulation of gene regulatory networks. The prototype IC consists of a 4x5 array of...
162
click to vote
ITC
2003
IEEE
16 years 11 days ago
2003
IEEE
ct This paper describes a general technique to test external memory/caches and memory interconnects using on-chip logic. Such a test methodology is expected to significantly reduc...
187
click to vote
DOCENG
2003
ACM
16 years 10 days ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...
161
click to vote
CONTEXT
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
207
click to vote
PODS
2010
ACM
16 years 5 days ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...