17298 search results - page 3334 / 3460 » Abstract computing machines |
132
click to vote
PPSN
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we elaborate how decision space diversity can be integrated into indicator-based multiobjective search. We introduce DIOP, the diversity integrating multio...
128
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--In this paper we study a broad class of semiMarkovian queues introduced by Sengupta. This class contains many classical queues such as the GI/M/1 queue, SM/MAP/1 queue an...
136
Voted
UM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The World Wide Web has provided users with the opportunity to access from any computer the largest set of information ever existing. Researchers have analyzed how such us...
125
Voted
DCOSS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Many applications for irrigation management and environment monitoring exploit buried sensors wired-connected to the soil surface for information retrieval. Wireless Unde...
173
click to vote
DLT
2009
15 years 1 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...