1805 search results - page 181 / 361 » A Theory of Closure Operators |
160
click to vote
ECMDAFA
2007
Springer
16 years 23 days ago
2007
Springer
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a s...
149
click to vote
ISSAC
2007
Springer
16 years 22 days ago
2007
Springer
A new randomized algorithm is presented for computing the characteristic polynomial of an n × n matrix over a field. Over a sufficiently large field the asymptotic expected com...
161
click to vote
GLOBECOM
2006
IEEE
16 years 19 days ago
2006
IEEE
— We consider the problem of providing absolute QoS guarantees to multiple classes of users of an OBS network in terms of the end-to-end burst loss. We employ Markov decision pro...
142
click to vote
ISCAS
2005
IEEE
16 years 5 days ago
2005
IEEE
- This paper presents a boundary control of bipolar square-wave generator using a second-order switching surface. The switching surface is derived by estimating the state trajector...
171
click to vote
SKG
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...