1999 search results - page 107 / 400 » Finding Reductions Automatically |
107
click to vote
TLSDKCS
2010
14 years 4 months ago
2010
Abstract. With increasing volumes of data, much effort has been devoted to finding the most suitable answer to an information need. However, in many domains, the question whether a...
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
When producing a mosaic of multiple multi-spectral images one needs to harmonize the colours so that the tone transition is smooth from one image to the other. Given two images Im...
RECOMB
2008
Springer
15 years 10 months ago
2008
Springer
We developed Gr?mlin 2.0, a new multiple network aligner with (1) a novel scoring function that can use arbitrary features of a multiple network alignment, such as protein deletion...
CADE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
IUI
2010
ACM
15 years 4 months ago
2010
ACM
Information about the location and size of the targets that users interact with in real world settings can enable new innovations in human performance assessment and software usab...