2203 search results - page 143 / 441 » Temporal Abstract Interpretation |
131
Voted
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the realizability problem for specifications of reactive systems expressed in real-time linear temporal logics. The logics we consider are subsets of MITL (Metr...
123
Voted
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— In this paper we propose a fully asynchronous, timebased image sensor, which is characterized by high temporal resolution, low data rate (near complete temporal redunda...
135
Voted
PKDD
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. When seeking for small clusters it is very intricate to distinguish between incidental agglomeration of noisy points and true local patterns. We present the PAMALOC algor...
135
Voted
WAPCV
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Selective attention shift can help neural networks learn invariance. We describe a method that can produce a network with invariance to changes in visual input caused by ...
142
Voted
DSVIS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Much attention has been paid in HCI to techniques for designing systems that conform to the tasks users wish to carry out. It is often the case that such approaches rely ...