8838 search results - page 162 / 1768 » Generalizing Domain Theory |
119
click to vote
PODC
2011
ACM
14 years 7 months ago
2011
ACM
We put forward a general theory of goal-oriented communication, where communication is not an end in itself, but rather a means to achieving some goals of the communicating partie...
160
click to vote
POPL
2012
ACM
14 years 2 days ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
131
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
The subject of this article is the long standing open problem of developing a general capacity theory for wireless networks, particularly a theory capable of describing the fundam...
203
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
114
click to vote
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
The synthesis theory for spatial linkage systems can be formulated in a way that is compatible with the geometric design of serial and parallel chain robotic systems. Mechanism de...