561 search results - page 31 / 113 » Inferring better contracts |
PERCOM
2004
ACM
14 years 7 months ago
2004
ACM
Applications in the Pervasive Computing domain are challenged by the dynamism in which their execution environment changes, e.g. due to user mobility. As a result, applications ha...
MLMI
2005
Springer
14 years 1 months ago
2005
Springer
Whilst there has been substantial research into technology to support meetings, there has been relatively little study of how meeting participants currently make records and how th...
ASPDAC
2004
ACM
14 years 1 months ago
2004
ACM
--Octilinear interconnect is a promising technique to shorten wire lengths. We present two practical heuristic octilinear Steiner tree (OSMT) algorithms in the paper. They are both...
GIS
1997
ACM
13 years 11 months ago
1997
ACM
Spatial indexes, such as the PMR quadtree, are important in spatial databases for efficient execution of queries involving spatial constraints, especially when the queries involve...
JEA
2008
13 years 7 months ago
2008
Linear ordering problems are combinatorial optimization problems which deal with the minimization of different functionals in which the graph vertices are mapped onto (1, 2, ..., ...