Sciweavers

2214 search results - page 98 / 443
» complexity 2004
Sort
View
CL
2004
Springer
13 years 8 months ago
Nesting analysis of mobile ambients
A new algorithm is introduced for analyzing possible nestings in mobile ambient calculus. It improves both time and space complexities of the technique proposed by Nielson and Sei...
Chiara Braghin, Agostino Cortesi, Riccardo Focardi...
ASPDAC
2004
ACM
83views Hardware» more  ASPDAC 2004»
14 years 2 months ago
A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline
Much attention has been directed to different aspects of the design of pipelines [1,2,3,4]. Design of the control logic of non-linear pipelines has however, been considered as a su...
Hashem Hashemi Najaf-abadi
ASSETS
2004
ACM
14 years 2 months ago
Accessibility of Internet websites through time
Using Internet Archive’s Wayback Machine, a random sample of websites from 1997-2002 were retrospectively analyzed for effects that technology has on accessibility for persons w...
Stephanie Hackett, Bambang Parmanto, Xiaoming Zeng
MM
2004
ACM
151views Multimedia» more  MM 2004»
14 years 2 months ago
Multimodal concept-dependent active learning for image retrieval
It has been established that active learning is effective for learning complex, subjective query concepts for image retrieval. However, active learning has been applied in a conc...
Kingshy Goh, Edward Y. Chang, Wei-Cheng Lai
ECAI
2004
Springer
14 years 2 months ago
Tractability Results for Automatic Contracting
Abstract. Automated negotiation techniques have received considerable attention over the past decade, and much progress has been made in developing negotiation protocols and strate...
Paul E. Dunne, Michael Laurence, Michael Wooldridg...