4744 search results - page 461 / 949 » Connected Computing |
160
Voted
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing con...
168
click to vote
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
Motivated by the Hadamard product of matrices we define the Hadamard product of multivariate polynomials and study its arithmetic circuit and branching program complexity. We also...
152
click to vote
CANDC
2009
ACM
16 years 29 days ago
2009
ACM
This workshop is aimed at describing the elusive creative process: addressing models and of creative practice, from art to craft, from dance to education. In particular, we wish t...
165
click to vote
SIGCOMM
2009
ACM
16 years 29 days ago
2009
ACM
Custom packet processing functionality in routers is one of the key characteristics of next-generation Internet architectures. Network services have been proposed as an abstractio...
135
Voted
CDC
2008
IEEE
16 years 28 days ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...