2646 search results - page 182 / 530 » Local Type Inference |
283
click to vote
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
In this paper, we propose an algorithm to estimate 2D shapes and positions of obstacles such as buildings using GPS and wireless communication history of mobile nodes. Our algorith...
223
click to vote
MICCAI
2008
Springer
16 years 20 days ago
2008
Springer
Accurate estimation and tracking of dynamic tissue deformation is important to motion compensation, intra-operative surgical guidance and navigation in minimally invasive surgery. ...
194
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The increasing availability of time-series expression data opens up new possibilities to study functional linkages of genes. Present methods used to infer functional l...
164
click to vote
ISMB
1994
15 years 7 months ago
1994
Temporallogic, in particular, interval logic has been used to represent genomemapsand to assist genome mapconstructions. However,interval logic itself appears to be bruited in its...
176
click to vote
FLAIRS
2009
15 years 4 months ago
2009
This paper introduces an information theoretic approach to verification of modular causal probabilistic models. We assume systems which are gradually extended by adding new functi...