1511 search results - page 33 / 303 » Relational Parametricity for Computational Effects |
115
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Building an effective Information Retrieval system requires various design choices, ranging from the weighting scheme to the type of morphological normalization. The combination ...
203
Voted
MCS
2010
Springer
15 years 2 months ago
2010
Springer
A vertex model for the simulation of grain growth and grain boundary migration is developed and its implementation is explained in detail. The utilization of the model is also exe...
156
click to vote
DASFAA
2010
IEEE
15 years 2 months ago
2010
IEEE
Keyword search is widely recognized as a convenient way to retrieve information from XML data. In order to precisely meet users' search concerns, we study how to effectively r...
121
click to vote
BIRTHDAY
2000
Springer
15 years 8 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
161
click to vote
Publication
This study examines the effects of overlapping walking service areas of bus stops on the demand for bus transit. This requires controlling for variation in potential transit demand...