Sciweavers

6833 search results - page 983 / 1367
» Some two-character sets
Sort
View
ESWS
2008
Springer
15 years 8 months ago
Two Variations on Ontology Alignment Evaluation: Methodological Issues
Evaluation of ontology alignments is in practice done in two ways: (1) assessing individual correspondences and (2) comparing the alignment to a reference alignment. However, this ...
Laura Hollink, Mark van Assem, Shenghui Wang, Anto...
EWCBR
2008
Springer
15 years 8 months ago
An Analysis of Research Themes in the CBR Conference Literature
After fifteen years of CBR conferences, this paper sets out to examine the themes that have evolved in CBR research as revealed by the implicit and explicit relationships between t...
Derek Greene, Jill Freyne, Barry Smyth, Padraig Cu...
FASE
2008
Springer
15 years 8 months ago
A Generic Complete Dynamic Logic for Reasoning About Purity and Effects
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
Till Mossakowski, Lutz Schröder, Sergey Gonch...
ATMOS
2007
163views Optimization» more  ATMOS 2007»
15 years 8 months ago
Branching Strategies to Improve Regularity of Crew Schedules in Ex-Urban Public Transit
We discuss timetables in ex-urban bus traffic that consist of many trips serviced every day together with some exceptions that do not repeat daily. Traditional optimization methods...
Ingmar Steinzen, Leena Suhl, Natalia Kliewer
FPGA
2008
ACM
151views FPGA» more  FPGA 2008»
15 years 8 months ago
Beyond the arithmetic constraint: depth-optimal mapping of logic chains in LUT-based FPGAs
Look-up table based FPGAs have migrated from a niche technology for design prototyping to a valuable end-product component and, in some cases, a replacement for general purpose pr...
Michael T. Frederick, Arun K. Somani