1982 search results - page 133 / 397 » Parametricity and dependent types |
192
click to vote
IPPS
2005
IEEE
2005
IEEE
A Framework for Partitioning Computational Intensive Applications in Hybrid Reconfigurable Platforms
16 years 6 days ago
In this paper, we describe a prototype software framework that implements a formalized methodology for partitioning computational intensive applications between reconfigurable har...
165
click to vote
HAPTICS
2003
IEEE
15 years 12 months ago
2003
IEEE
Force-feedback mechanisms have been designed to simplify and enhance the human-vehicle interface. The increase in secondary controls within vehicle cockpits has created a desire f...
166
Voted
ICDM
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a framework for clustering distributed data in unsupervised and semi-supervised scenarios, taking into account privacy requirements and communication costs. Rather than...
144
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We solve the problem of extending Bird and Paterson’s generalized folds for nested datatypes and its dual to inductive and coinductive constructors of arbitrarily high ...
154
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
— We discuss a fault diagnosis scheme for analog integrated circuits. Our approach is based on an assemblage of learning machines that are trained beforehand to guide us through ...