Sciweavers

217 search results - page 23 / 44
» A New Approach to Abstract Syntax with Variable Binding
Sort
View
HICSS
2003
IEEE
193views Biometrics» more  HICSS 2003»
14 years 1 months ago
Ambient computing applications: an experience with the SPREAD approach
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
Paul Couderc, Michel Banâtre
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
14 years 1 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
GECCO
2008
Springer
120views Optimization» more  GECCO 2008»
13 years 9 months ago
Genetic programming with polymorphic types and higher-order functions
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
Franck Binard, Amy P. Felty
ICC
2007
IEEE
14 years 3 months ago
Handoff Probability in Wireless Networks Over Rayleigh Fading Channel: A Cross-layer Approach
Abstract— Handoff probability is one of the significant metrics to characterize the handoff operation in wireless mobile networks. Handoff probability refers to the probability ...
Yan Zhang
SETN
2004
Springer
14 years 2 months ago
Construction and Repair: A Hybrid Approach to Search in CSPs
Abstract. In order to obtain a solution to a constraint satisfaction problem, constructive methods iteratively extend a consistent partial assignment until all problem variables ar...
Konstantinos Chatzikokolakis, George Boukeas, Pana...