4693 search results - page 536 / 939 » Verifying Hybrid Systems |
170
click to vote
MOR
2010
15 years 5 months ago
2010
We study G/G/n + GI queues in which customer patience times are independent, identically distributed following a general distribution. When a customer’s waiting time in queue ex...
211
click to vote
ANTSW
2010
Springer
15 years 5 months ago
2010
Springer
We describe a theory from Herbert Simon that links the structure of complex systems to increased speed of evolution, and argue the position that this theory can be beneficial to ev...
218
click to vote
ICANN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper presents an experimental "morphological analysis" retrieval system for mammograms, using Relevance-Feedback techniques. The features adopted are firs...
121
click to vote
ICIP
2010
IEEE
15 years 5 months ago
2010
IEEE
Free viewpoint TV (FTV) enables us to view a distant 3D world by freely changing our viewpoints as if we were there. FTV will bring an epochal change in the history of television ...
188
click to vote
PIMRC
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Dynamic spectrum access (DSA) supporting opportunistic transmission without extra spectrum bandwidth is attractive for future wireless communication. To facilitate such D...