4609 search results - page 448 / 922 » Automatic Generation of Sigma-Protocols |
178
Voted
ICDM
2005
IEEE
16 years 14 days ago
2005
IEEE
We propose an algorithm to construct classification models with a mixture of kernels from labeled and unlabeled data. The derived classifier is a mixture of models, each based o...
190
click to vote
ICRA
2005
IEEE
16 years 14 days ago
2005
IEEE
— In this paper, we study the problem of going from a real-world, multi-agent system to the generation of control programs in an automatic fashion. In particular, a computer visi...
219
click to vote
ISORC
2005
IEEE
16 years 13 days ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
146
click to vote
IUI
2005
ACM
16 years 13 days ago
2005
ACM
Museum visitors can continue interacting with museum exhibits even after they have left the museum. We can help them do this by creating a report that includes a basic, personaliz...
171
Voted
ECOOP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In our research we are studying how to combine modelling, metamodelling, and reflection to systematically generate middleware configurations that can be targeted at diffe...