1511 search results - page 137 / 303 » Relational Parametricity for Computational Effects |
188
click to vote
KIVS
1999
Springer
15 years 10 months ago
1999
Springer
: Location Management of mobile users in a cellular network covers tracking and paging (searching) functionality. In this paper a sequential search strategy is proposed which reduc...
156
click to vote
GCB
1997
Springer
15 years 10 months ago
1997
Springer
Motivation: Database search programs such as FASTA, BLAST or a rigorous Smith–Waterman algorithm produce lists of database entries, which are assumed to be related to the query....
167
click to vote
SCALESPACE
1997
Springer
15 years 10 months ago
1997
Springer
A general approach for multiscale orientation analysis of 2D scalar images is proposed. A scale-dependent orientation bundle (map of the visual space into function of two arguments...
162
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
149
click to vote
GRAPHITE
2007
ACM
15 years 10 months ago
2007
ACM
: Communicating the ethos of a subject (e.g. a brand or cultural or historical narrative) within an environment, such as a museum or visitor centre, is often undermined by the poor...