1368 search results - page 64 / 274 » UXnet: making connections |
179
click to vote
ENTCS
2008
15 years 6 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
179
click to vote
IJFCS
2006
15 years 6 months ago
2006
We initiate a systematic study of the Row Deletion(B) problem on matrices: Given an input matrix A and a fixed "forbidden submatrix" B, the task is to remove a minimum n...
144
click to vote
IJWBC
2006
15 years 6 months ago
2006
: In this paper, we have focused on using the bolero.net community in the semantic web and grid environment. Bolero.net represents a community with the ambitious initiatives to sta...
151
click to vote
JUCS
2008
15 years 6 months ago
2008
: Architectural mismatches are a recognized obstacle to successful software reuse. An architectural mismatch occurs when two or more software components are connected to form a sys...
167
click to vote
KES
2008
Springer
15 years 6 months ago
2008
Springer
Evolvable Hardware (EHW) is a new method for designing electronic circuits. However, there are several problems to solve for making high performance systems. One is the limited sca...