2540 search results - page 295 / 508 » Abstract Logics as Dialgebras |
155
click to vote
FPL
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Increasing logic resources coupled with a proliferation of integrated performance enhancing primitives in high-end FPGAs results in an increased design complexity which r...
164
click to vote
FPL
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper proposes an architecture that combines a contextswitching virtual configware/software SAT solver with an embedded processor to promote a tighter coupling betwe...
167
click to vote
ICCS
2004
Springer
16 years 2 days ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
157
click to vote
RSCTC
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This paper focuses on the use and interpretation of approximate databases where both rough sets and indiscernibility partitions are generalized and replaced by approximat...
162
click to vote
RSCTC
2004
Springer
16 years 1 days ago
2004
Springer
illion abstracts. Problem. How to find sentences that talk about protein-protein interactions? Example (Non-Interaction Sentence) All our data are consistent with models in which ...