Sciweavers

4959 search results - page 590 / 992
» Imperative Functional Programming
Sort
View
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
16 years 5 days ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring
EMMCVPR
2003
Springer
16 years 1 days ago
Curve Matching Using the Fast Marching Method
Common techniques for curve alignment find a solution in the form of a shortest network path by means of dynamic programming. In this paper we present an approach that employs Set...
Max Frenkel, Ronen Basri
186
Voted
IFIP
2003
Springer
16 years 1 days ago
Enhanced Power Saving Scheme for IEEE 802.11 DCF Based Wireless Networks
Abstract. Providing energy efficiency in MAC (Medium Access Control) layer, while achieving desirable throughput, is an important research issue in the area of wireless networking....
Jong-Mu Choi, Young-Bae Ko, Jai-Hoon Kim
APSEC
2002
IEEE
15 years 11 months ago
Symbolic Simulation of Hybrid Systems
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan ...
EUROGP
2001
Springer
15 years 11 months ago
Exact Schema Theorems for GP with One-Point and Standard Crossover Operating on Linear Structures and Their Application to the S
In this paper, firstly we specialise the exact GP schema theorem for one-point crossover to the case of linear structures of variable length, for example binary strings or program...
Riccardo Poli, Nicholas Freitag McPhee