3169 search results - page 264 / 634 » Robust Timed Automata |
151
click to vote
VLSID
2002
IEEE
16 years 6 months ago
2002
IEEE
One of the major roadblocks in reduction of library generation cycle time is the layout generation phase. The two methods of doing automatic layout generation are synthesis and mig...
169
click to vote
ICDM
2008
IEEE
16 years 16 days ago
2008
IEEE
Event detection is a critical task in sensor networks, especially for environmental monitoring applications. Traditional solutions to event detection are based on analyzing one-sh...
192
click to vote
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper, we consider the time-slotted ALOHA packetized multiple-access system where the transmission channels obey i.i.d (independent identically distributed) Rayleigh fa...
154
click to vote
AAAI
2010
15 years 7 months ago
2010
For many election systems, bribery (and related) attacks have been shown NP-hard using constructions on combinatorially rich structures such as partitions and covers. It is import...
188
click to vote
BIOSYSTEMS
2007
15 years 6 months ago
2007
Information processing in nervous systems intricately combines computation at the neuronal and network levels. Many computations may be envisioned as sequences of signal processin...