1701 search results - page 151 / 341 » Computer Science and State Machines |
69
Voted
IJSYSC
2010
14 years 8 months ago
2010
This paper applies three different control techniques to the design of a quarter car semiactive suspension system. The three techniques, originally developed to solve a constrain...
SOFSEM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
80
Voted
STACS
2010
Springer
15 years 5 months ago
2010
Springer
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem...
94
Voted
STACS
2009
Springer
15 years 5 months ago
2009
Springer
We study a quantum analogue of locally decodable error-correcting codes. A q-query locally decodable quantum code encodes n classical bits in an m-qubit state, in such a way that ...
CSE
2009
IEEE
15 years 5 months ago
2009
IEEE
—Flow statistics is a basic task of passive measurement and has been widely used to characterize the state of the network. Adaptive Non-Linear Sampling (ANLS)is one of the most a...