2477 search results - page 350 / 496 » First-Order Interactive Programming |
165
click to vote
ICMCS
2006
IEEE
16 years 16 days ago
2006
IEEE
When multiple video sources are live-encoded and transmitted over a common wireless network, each stream needs to adapt its encoding parameters to wireless channel fluctuations, ...
143
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
Workflow enactment systems are becoming an effective solution to ease programming, deployment and execution of distributed applications in several domains such as telecommunicatio...
149
click to vote
APLAS
2006
ACM
16 years 14 days ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
141
click to vote
HASKELL
2005
ACM
16 years 1 days ago
2005
ACM
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
190
click to vote
CPAIOR
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. We present an algorithmic framework for integrating solution methods that is based on search, inference, and relaxation and their interactions. We show that the following...