241 search results - page 30 / 49 » Conditional e-payments with transferability |
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
— The maximum lifetime routing problem in wireless sensor networks has received increasing attention in recent years. One way is to formulate it as a linear programming problem b...
VTC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Increasing demand for high data-rate multimedia services has led to the emergence of high-speed data transfer features such as High-Speed Downlink Packet Access (HSDPA) for WCD...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
BVAI
2005
Springer
14 years 1 months ago
2005
Springer
A visual system not only needs to recognize a stimulus, it also needs to find the location of the stimulus. In this paper, we present a neural network model that is able to genera...