Sciweavers

11949 search results - page 19 / 2390
» Some results on (a:b)-choosability
Sort
View
EUSFLAT
2009
105views Fuzzy Logic» more  EUSFLAT 2009»
13 years 5 months ago
Two Results About Optimization of Fuzzy Variable Functions
Abstract-- We discuss some optimization problems for fuzzy variable functions and show two interesting results. First result is related to conditions for existence of global optima...
A. David Báez-Sánchez
SEMWEB
2009
Springer
14 years 1 months ago
Lily: Ontology Alignment Results for OAEI 2009
This paper presents the alignment results of Lily for the ontology alignment contest OAEI 2009. Lily is an ontology mapping system, and it has four functions: generic ontology matc...
Peng Wang, Baowen Xu
ICFP
1999
ACM
13 years 11 months ago
A Simple Proof Technique for Certain Parametricity Results
Many properties of parametric, polymorphic functions can be determined simply by inspection of their types. Such results are usually proven using Reynolds's parametricity the...
Karl Crary
CORR
2008
Springer
104views Education» more  CORR 2008»
13 years 7 months ago
Coalgebraic Automata Theory: Basic Results
Abstract. We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata ope...
Clemens Kupke, Yde Venema
EWSN
2006
Springer
14 years 7 months ago
Results of Bit Error Measurements with Sensor Nodes and Casuistic Consequences for Design of Energy-Efficient Error Control Sche
For the proper design of energy-efficient error control schemes some insight into channel error patterns is needed. This paper presents bit error and packet loss measurements taken...
Andreas Willig, Robert Mitschke