19320 search results - page 3682 / 3864 » On the complexity of computing determinants |
189
click to vote
EDOC
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper presents three contributions to research on middleware load balancing. First, it describes the design of Cygnus, which is an extensible open-source middleware framework...
160
click to vote
CMSB
2006
Springer
15 years 9 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
164
click to vote
COLT
2006
Springer
15 years 9 months ago
2006
Springer
We describe a new approach for understanding the difficulty of designing efficient learning algorithms. We prove that the existence of an efficient learning algorithm for a circui...
128
click to vote
CSR
2006
Springer
15 years 9 months ago
2006
Springer
We show that two equivalent K-automata are conjugate to a third one, when K is equal to B, N, Z, or any (skew) field and that the same holds true for functional tranducers as well....
173
click to vote
DRM
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we consider the functionality that a rights expression language (REL) should provide within a digital rights management (DRM) environment. We begin by noting the dea...