Sciweavers

3863 search results - page 83 / 773
» Function in Device Representation
Sort
View
ICFP
2008
ACM
15 years 11 months ago
Flask: staged functional programming for sensor networks
Severely resource-constrained devices present a confounding challenge to the functional programmer: we are used to having powerful ion facilities at our fingertips, but how can we...
Geoffrey Mainland, Greg Morrisett, Matt Welsh
ALDT
2009
Springer
140views Algorithms» more  ALDT 2009»
15 years 6 months ago
Directional Decomposition of Multiattribute Utility Functions
Abstract. Several schemes have been proposed for compactly representing multiattribute utility functions, yet none seems to achieve the level of success achieved by Bayesian and Ma...
Ronen I. Brafman, Yagil Engel
DM
2006
73views more  DM 2006»
14 years 12 months ago
Composition of Post classes and normal forms of Boolean functions
The class composition C K of Boolean clones, being the set of composite functions f(g1, . . . , gn) with f C, g1, . . . , gn K, is investigated. This composition C K is either...
Miguel Couceiro, Stephan Foldes, Erkko Lehtonen
ICMCS
2006
IEEE
155views Multimedia» more  ICMCS 2006»
15 years 6 months ago
Region-Based Image Retrieval using Radial Basis Function Network
This paper presents a new framework that integrates relevance feedback into region-based image retrieval (RBIR) systems based on radial basis function network (RBFN). A modified u...
Kui Wu, Kim-Hui Yap, Lap-Pui Chau
ESOP
2009
Springer
15 years 3 months ago
Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
Matthew R. Lakin, Andrew M. Pitts