8874 search results - page 239 / 1775 » A New Implementation of Automath |
126
Voted
VLSISP
2010
14 years 11 months ago
2010
We propose a new parallelization scheme for the hmmsearch function of the HMMER software, in order to target FPGA technology. hmmsearch is a very compute intensive software for bio...
174
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We propose ALLDIFFPREC, a new global constraint that combines together an ALLDIFFERENT constraint with precedence constraints that strictly order given pairs of variables. We ident...
118
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
This paper proposes a new distance metric between clusterings that incorporates information about the spatial distribution of points and clusters. Our approach builds on the idea ...
204
click to vote
HAPTICS
2011
IEEE
14 years 8 months ago
2011
IEEE
The main goal of virtual reality based surgery simulators with haptic feedback is to provide an alternative to traditional training methods on animals, cadavers or real patients. ...
135
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Two novel cooperative localization algorithms for mobile wireless networks are proposed. To continuously localize the mobile network, given the pairwise distance measurements betw...