Sciweavers

407 search results - page 11 / 82
» On sequential functionals of type 3
Sort
View
JCSS
2002
114views more  JCSS 2002»
15 years 2 months ago
Polymorphic Type Inference for the Relational Algebra
A database programming language is a programming language extended with database operations. In this paper we extend a core functional language with explicitly labeled tuples and ...
Jan Van den Bussche, Emmanuel Waller
ICMLA
2009
15 years 5 days ago
Sensitivity Analysis of POMDP Value Functions
In sequential decision making under uncertainty, as in many other modeling endeavors, researchers observe a dynamical system and collect data measuring its behavior over time. The...
Stéphane Ross, Masoumeh T. Izadi, Mark Merc...
ML
2002
ACM
146views Machine Learning» more  ML 2002»
15 years 2 months ago
Kernel Matching Pursuit
Matching Pursuit algorithms learn a function that is a weighted sum of basis functions, by sequentially appending functions to an initially empty basis, to approximate a target fu...
Pascal Vincent, Yoshua Bengio
CVPR
2008
IEEE
16 years 4 months ago
Real-time 3D segmentation of the left ventricle using deformable subdivision surfaces
In this paper, we extend a computationally efficient framework for real-time 3D tracking and segmentation to support deformable subdivision surfaces. Segmentation is performed in a...
Fredrik Orderud, Stein I. Rabben
ICCAD
2002
IEEE
176views Hardware» more  ICCAD 2002»
15 years 11 months ago
High capacity and automatic functional extraction tool for industrial VLSI circuit designs
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
Sasha Novakovsky, Shy Shyman, Ziyad Hanna