10568 search results - page 241 / 2114 » Computer Intelligence and Formalization |
126
click to vote
WEBNET
1998
15 years 4 months ago
1998
Abstract: In this paper, we investigate the use of artificial Intelligence techniques in the management of largescale high-speed networks. We present a design of an intelligent net...
110
click to vote
RIA
2006
15 years 3 months ago
2006
In this article, we expose our research program in bio-affective-social computing aimed at guiding and participating to the development of multimodal socially intelligent agents in...
133
click to vote
CCS
2008
ACM
15 years 5 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
128
click to vote
CAD
2004
Springer
15 years 3 months ago
2004
Springer
Joints in product design are common because of the limitations of component geometric configurations and material properties, and the requirements of inspection, accessibility, re...
116
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...