1095 search results - page 198 / 219 » Algebraic Guide Generation |
VL
2010
IEEE
13 years 6 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
ACSAC
2010
IEEE
13 years 5 months ago
2010
IEEE
- The advanced metering infrastructure (AMI) is revolutionizing electrical grids. Intelligent AMI "smart meters" report real time usage data that enables efficient energy...
SOCIALCOM
2010
13 years 5 months ago
2010
We developed user models of knowledge exploration in a social tagging system to test the expertise rankings generated by a link-structure method and a semantic-structure method. Th...
DAGSTUHL
2011
12 years 7 months ago
2011
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...
INFOCOM
2012
IEEE
11 years 10 months ago
2012
IEEE
—P2P platforms have been criticized because of the heavy strain that some P2P services can inflict on costly interdomain links of network operators. It is therefore necessary to...