1022 search results - page 112 / 205 » Relators and Metric Bisimulations |
166
click to vote
LCPC
2007
Springer
16 years 13 days ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
161
click to vote
AROBOTS
2010
15 years 6 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 ...
176
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...
171
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...
125
click to vote
IPM
2006
15 years 6 months ago
2006
We consider a challenging clustering task: the clustering of muti-word terms without document co-occurrence information in order to form coherent groups of topics. For this task, ...