160
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Future communication and computation devices require mechanisms for on-the-fly reconfiguration in their protocol stack to operate in different situations and networks. Th...
149
click to vote
DAGM
2009
Springer
15 years 8 months ago
2009
Springer
In this paper, we show that a better performance can be achieved by training a keypoint detector to only find those points that are suitable to the needs of the given task. We demo...
123
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
124
Voted
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...