2206 search results - page 148 / 442 » On the power of coercion abstraction |
109
click to vote
IJCNN
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— In this paper, we present a weighted Linde-BuzoGray algorithm (WLBG) as a powerful and efficient technique for compressing neural spike data. We compare this technique...
FCT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
109
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Energy efficiency is an important technology of sensor networks development. In this paper we offer a method of sensors lifetime maximizing under required level of netwo...
111
click to vote
SOFSEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The dependency pair method is a powerful method for automatically proving termination of rewrite systems. When used with traditional simplification orders like LPO and K...
115
click to vote
WAIFI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we propose a new approach to point scalar multiplication on elliptic curves defined over fields of characteristic greater than 3. It is based on new point...