Sciweavers

4716 search results - page 553 / 944
» Tangible functional programming
Sort
View
ICASSP
2010
IEEE
15 years 2 months ago
A convex relaxation for approximate maximum-likelihood 2D source localization from range measurements
This paper addresses the problem of locating a single source from noisy range measurements in wireless sensor networks. An approximate solution to the maximum likelihood location ...
Pinar Oguz-Ekim, João Pedro Gomes, Jo&atild...
CORR
2006
Springer
121views Education» more  CORR 2006»
15 years 2 months ago
Number sequence representation of protein structures based on the second derivative of a folded tetrahedron sequence
A protein is a sequence of amino-acids of length typically less than 1, 000, where there are 20 kinds of amino-acids. In nature, each protein is folded into a well-defined three-d...
Naoto Morikawa
JFP
2008
135views more  JFP 2008»
15 years 2 months ago
Hoare type theory, polymorphism and separation
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
Aleksandar Nanevski, J. Gregory Morrisett, Lars Bi...
ENTCS
2007
100views more  ENTCS 2007»
15 years 2 months ago
JOLIE: a Java Orchestration Language Interpreter Engine
Service oriented computing is an emerging paradigm for programming distributed applications based on services. Services are simple software elements that supply their functionalit...
Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, G...
ML
2008
ACM
162views Machine Learning» more  ML 2008»
15 years 2 months ago
Incorporating prior knowledge in support vector regression
This paper explores the addition of constraints to the linear programming formulation of the support vector regression problem for the incorporation of prior knowledge. Equality an...
Fabien Lauer, Gérard Bloch