1604 search results - page 191 / 321 » Development Separation in Lambda-Calculus |
119
click to vote
DCC
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper considers the problem of distributed scalable coding of correlated sources that are communicated to a central unit. The general setting is typically encountered in sens...
125
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
Large scale penetration of digital technologies led them to join roads, electricity, and water distribution, as essential infrastructures of modernity. “Digital convergence” r...
135
click to vote
ICDCN
2010
Springer
15 years 11 months ago
2010
Springer
Conventional wireless networks employ a contention based channel access mechanism, which not only imposes high latency but also reduces goodput of the network. Lack of interference...
169
click to vote
ACSC
2009
IEEE
15 years 11 months ago
2009
IEEE
Aspect Oriented Programming (AOP) aims to ease maintenance and promote reuse of software components by separating core concerns from crosscutting concerns: aspects of a program th...
120
click to vote
ICML
2009
IEEE
15 years 11 months ago
2009
IEEE
Given a large-scale linked document collection, such as a collection of blog posts or a research literature archive, there are two fundamental problems that have generated a lot o...