8838 search results - page 162 / 1768 » Generalizing Domain Theory |
153
click to vote
PODC
2011
ACM
14 years 9 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...
198
click to vote
POPL
2012
ACM
14 years 2 months 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...
171
click to vote
CORR
2007
Springer
15 years 6 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...
254
click to vote
POPL
2007
ACM
16 years 6 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...
142
click to vote
ICRA
2000
IEEE
15 years 11 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...