168 search results - page 11 / 34 » Nominal System T |
ENTCS
2007
13 years 7 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
GLOBECOM
2006
IEEE
14 years 1 months ago
2006
IEEE
— Antenna selection combined with dual-polarized antennas offers an attractive alternative for realizing higher order multiple-input multiple-output (MIMO) configurations in com...
ASPDAC
2006
ACM
14 years 1 months ago
2006
ACM
— Process variations and temperature variations can cause both the frequency and the leakage of the chip to vary significantly from their expected values, thereby decreasing the...
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Wireless wide area networks (WWANs) and wireless local area networks (WLANs) have complementary characteristics which make them suitable to jointly offer an ubiquitous wireless...
FUZZY
1999
Springer
13 years 12 months ago
1999
Springer
In this paper we describe a distributed retrieval system for medical images based on a Human Centered Virtual Machine (HCVM). HCVM layered architecture allows indexing and retrieva...