1120 search results - page 154 / 224 » C Elements of Style |
101
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
SIGCOMM
2003
ACM
15 years 5 months ago
2003
ACM
We propose a new objective for network research: to build a fundamentally different sort of network that can assemble itself given high level instructions, reassemble itself as re...
CASES
2007
ACM
15 years 3 months ago
2007
ACM
Micro-Electro-Mechanical Systems (MEMS) combine lithographically formed mechanical structures with electrical elements to create physical systems that operate on the scale of micr...
106
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Consider a weighted and undirected graph, possibly with self-loops, and its corresponding Laplacian matrix, possibly augmented with additional diagonal elements correspon...
112
click to vote
ICDE
2012
IEEE
13 years 2 months ago
2012
IEEE
—On a stream of two dimensional data items (x, y) where x is an item identifier, and y is a numerical attribute, a correlated aggregate query requires us to first apply a selec...