2907 search results - page 476 / 582 » Presentations of Structures in Admissible Sets |
105
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
101
click to vote
CORR
2010
Springer
15 years 27 days ago
2010
Springer
In this paper, we consider the problem of estimating finite rate of innovation (FRI) signals from noisy measurements, and specifically analyze the interaction between FRI technique...
84
Voted
CORR
2008
Springer
15 years 26 days ago
2008
Springer
We consider the problem of rate allocation in a Gaussian multiple-access channel, with the goal of maximizing a utility function over transmission rates. In contrast to the literat...
110
Voted
ECEASST
2008
15 years 26 days ago
2008
In emergency scenarios we can obtain a more effective coordination among team members constituting a mobile ad hoc network (MANET) through the use of reconfigurable systems. This ...
97
Voted
ARTMED
2006
15 years 26 days ago
2006
Manual classification of free-text documents within a predefined hierarchy is highly time consuming. This is especially true for clinical guidelines, which are often indexed by mu...