16404 search results - page 2471 / 3281 » A set coverage problem |
213
click to vote
VLSID
2008
IEEE
16 years 8 months ago
2008
IEEE
Protocol conversion involves the use of a converter to control communication between two or more protocols such that desired system-level specifications can be satisfied. We invest...
174
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
We present a technique for evaluating the usability and effectiveness of ambient displays. Ambient displays are and aesthetic peripheral displays portraying non-critical informati...
295
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...
190
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
We introduce the first exact and efficient algorithm for Guig?o et al.'s problem that, given a collection of rooted, binary gene trees and a rooted, binary species tree, deter...
201
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Context Unification is the problem to decide for a given set of second-order equations E where all second-order variables are unary, whether there exists a unifier, such that for e...