500 search results - page 41 / 100 » Quantified Conditionals and Compositionality |
FORTE
2008
13 years 8 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
IJON
2006
13 years 7 months ago
2006
Sensory systems often use groups of redundant neurons to represent stimulus information both during transduction and population coding of features. This redundancy makes the syste...
CN
2004
13 years 7 months ago
2004
Energy is the most critical resource in the life of a wireless sensor node. Therefore, its usage must be optimized to maximize the network life. It is known that for higher path l...
ICNP
2009
IEEE
13 years 5 months ago
2009
IEEE
The Domain Name System (DNS) is integral to today's Internet. Name resolution for a domain is often dependent on servers well outside the control of the domain's owner. I...
TIT
2010
13 years 2 months ago
2010
An exact and general expression for the analytic wavelet transform of a real-valued signal is constructed, resolving the time-dependent effects of non-negligible amplitude and fre...