7597 search results - page 348 / 1520 » On the design of metric relations |
192
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
171
click to vote
IV
2009
IEEE
16 years 1 months ago
2009
IEEE
A lexical network is a very useful resource for natural language processing systems. However, building high quality lexical networks is a complex task. “Jeux de mots” is a web...
167
click to vote
AROBOTS
2010
15 years 7 months ago
2010
Various common error sources affect the quality of a map, e.g., salt and pepper noise and other forms of noise that are more or less uniformly distributed over the map. But there ...
193
click to vote
CLEIEJ
2007
15 years 6 months ago
2007
: ‘Human factor’ is one of the most relevant and crucial aspects of software development projects management. Aiming at the performance improvement for software processes in or...
182
click to vote
JAPLL
2008
15 years 6 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...