12289 search results - page 617 / 2458 » computing 2006 |
227
click to vote
COORDINATION
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
159
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...
213
click to vote
ACOM
2006
Springer
16 years 1 months ago
2006
Springer
In this paper, we extend the classical BDI architecture for the treatment of social commitments based communication by: (1) linking social commitments and individual intentions, (2...
181
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents an approach to the joint optimization of neural network structure and weights which can take advantage of backpropagation as a specialized decoder. The approach...