2540 search results - page 295 / 508 » Abstract Logics as Dialgebras |
88
Voted
FPL
2004
Springer
15 years 6 months 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...
91
Voted
FPL
2004
Springer
15 years 6 months 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...
89
Voted
ICCS
2004
Springer
15 years 6 months 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...
100
Voted
RSCTC
2004
Springer
15 years 6 months 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...
85
Voted
RSCTC
2004
Springer
15 years 6 months 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 ...