1301 search results - page 86 / 261 » Specifications via Realizability |
ICA
2010
Springer
13 years 10 months ago
2010
Springer
We develop a probabilistic modeling framework for multiway arrays. Our framework exploits the link between graphical models and tensor factorization models and it can realize any ...
SAC
2000
ACM
14 years 2 months ago
2000
ACM
The global scenario put together by communication networks determines new opportunities towards the realization of Internetbased distributed services in many complex and composite...
ICSM
2008
IEEE
14 years 4 months ago
2008
IEEE
An approach to recommend a ranked list of developers to assist in performing software changes to a particular file is presented. The ranking is based on change expertise, experien...
COORDINATION
2000
Springer
14 years 2 months ago
2000
Springer
Distributed information systems for decision-support, logistics, and e-commerce involve coordination of autonomous information resources and clients according to specific domain in...
IJRR
2002
13 years 9 months ago
2002
We address the problem of coupling cyclic robotic tasks to produce a specified coordinated behavior. Such coordination tasks are common in robotics, appearing in applications like...