736 search results - page 88 / 148 » High-order functions and their ordering relations |
256
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
— This paper investigates measures of centrality that are applicable to power grids. Centrality measures are used in network science to rank the relative importance of nodes and ...
219
click to vote
EDBT
2011
ACM
14 years 9 months ago
2011
ACM
This paper introduces the problem of matching people names to their corresponding social network identities such as their Twitter accounts. Existing tools for this purpose build u...
179
click to vote
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
When working on a new project, researchers need to devote a significant amount of time and effort to surveying the relevant literature. This is required in order to gain experti...
191
click to vote
CAV
2012
Springer
13 years 8 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
160
click to vote
GECCO
2007
Springer
16 years 10 days ago
2007
Springer
In this paper, we propose the combination of different optimization techniques in order to solve “hard” two- and threeobjective optimization problems at a relatively low comp...