17298 search results - page 3334 / 3460 » Abstract computing machines |
128
Voted
PPSN
2010
Springer
15 years 14 days 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...
123
Voted
QEST
2010
IEEE
15 years 14 days 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...
132
Voted
UM
2010
Springer
15 years 13 days 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...
120
Voted
DCOSS
2009
Springer
15 years 11 days 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...
165
Voted
DLT
2009
15 years 11 days 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...